PrototypeCommune
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
- Propriétaire
- midspiral (organisation)
- Étoiles
- Étoiles : 128
- Forks
- Forks : 17
- Langage
- TypeScript
- Licence
- MIT
- Création
- 2026
- Sujets
- dafnyleanlean4lemmascripttypescriptaillmverification
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts TypeScript
Tous les dépôts TypeScript- theanam/openlaser.appÉtoiles : 128TypeScriptPrototype
- xanthichi/mcd-meal-mateÉtoiles : 128TypeScriptPrototype
- solderdatabraid29/aegis-vaultgridÉtoiles : 128TypeScriptPrototype
- approvals/Approvals.NodeJSÉtoiles : 128TypeScriptPrototype
- gsingh93/regex-searchÉtoiles : 128TypeScriptPrototype
- SBoudrias/mem-fsÉtoiles : 128TypeScriptPrototype