-
Microsoft
- Canada
-
vscode Public
Forked from microsoft/vscodeVisual Studio Code
-
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedJan 2, 2025 -
hephaestus Public
Forked from alexisthedev/hephaestusA framework for testing compilers' type checkers
Python GNU General Public License v3.0 UpdatedDec 1, 2024 -
typescript-benchmarking Public
Forked from microsoft/typescript-benchmarkingInfrastructure for TypeScript's benchmarking system
-
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 7, 2023 -
typescript-notes Public
Forked from orta/typescript-notesHigh-level notes about TypeScript
UpdatedJan 5, 2022 -
-
TAES Public
Coq definitions and proofs for a tiny subset of CSP (communicating sequential processes)
-
string Public
Implementation of exact and approximate string matching algorithms