PrototypeCommon
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
- Owner
- midspiral (organization)
- Stars
- Stars: 128
- Forks
- Forks: 17
- Language
- TypeScript
- License
- MIT
- Created
- 2026
- Topics
- dafnyleanlean4lemmascripttypescriptaillmverification
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in TypeScript
All TypeScript repos- theanam/openlaser.appStars: 128TypeScriptPrototype
- xanthichi/mcd-meal-mateStars: 128TypeScriptPrototype
- solderdatabraid29/aegis-vaultgridStars: 128TypeScriptPrototype
- approvals/Approvals.NodeJSStars: 128TypeScriptPrototype
- gsingh93/regex-searchStars: 128TypeScriptPrototype
- SBoudrias/mem-fsStars: 128TypeScriptPrototype