Pinned Loading

1. microsoft/TypeScript microsoft/TypeScript Public

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

   TypeScript 107k 13.1k

2. DefinitelyTyped/DefinitelyTyped DefinitelyTyped/DefinitelyTyped Public

   The repository for high quality TypeScript type definitions.

   TypeScript 50.6k 30.5k

3. microsoft/vscode microsoft/vscode Public

   Visual Studio Code

   TypeScript 178k 35.9k

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++ 4 1

6. Coq-CSP Coq-CSP Public

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

   Rocq Prover 1