-
hephaestus Public
Forked from alexisthedev/hephaestusA framework for testing compilers' type checkers
Python GNU General Public License v3.0 UpdatedNov 3, 2024 -
typescript-benchmarking Public
Forked from microsoft/typescript-benchmarkingInfrastructure for TypeScript's benchmarking system
TypeScript MIT License UpdatedOct 16, 2024 -
vscode Public
Forked from microsoft/vscodeVisual Studio Code
TypeScript MIT License UpdatedOct 9, 2024 -
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedAug 23, 2024 -
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
{{ message }}