Pinned Loading

1. microsoft/TypeScript microsoft/TypeScript Public

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

   TypeScript 99.4k 12.3k

2. DefinitelyTyped/DefinitelyTyped DefinitelyTyped/DefinitelyTyped Public

   The repository for high quality TypeScript type definitions.

   TypeScript 47.9k 30k

3. microsoft/vscode microsoft/vscode Public

   Visual Studio Code

   TypeScript 161k 28.3k

4. tsdolly tsdolly Public

   A TypeScript program generator based on Alloy

   TypeScript 3

5. string string Public

   Implementation of exact and approximate string matching algorithms

   C++ 3

6. TAES TAES Public

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

   Coq 1