Pinned Loading

1. microsoft/TypeScript microsoft/TypeScript Public

   TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

   Go 112k 14.7k

2. DefinitelyTyped/DefinitelyTyped DefinitelyTyped/DefinitelyTyped Public

   The repository for high quality TypeScript type definitions.

   TypeScript 51.5k 30.3k

3. microsoft/vscode microsoft/vscode Public

   Visual Studio Code

   TypeScript 195k 43.8k

4. tsdolly tsdolly Public

   A TypeScript program generator based on Alloy

   TypeScript 2 3

5. string string Public

   Implementation of exact and approximate string matching algorithms

   C++ 5 1

6. Coq-CSP Coq-CSP Public

   Coq definitions and proofs for a tiny subset of CSP (communicating sequential processes)

   Rocq Prover 1