PrototypeCommon
aidenybai/tla-ts
A TLA+ interpreter and model checker in TypeScript
- Owner
- aidenybai (personal account)
- Stars
- Stars: 174
- Forks
- Forks: 9
- Language
- TypeScript
- License
- MIT
- Created
- 2026
- Topics
- formal-verificationtlaplustypescript
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by aidenybai
All 12 repos by aidenybai- aidenybai/react-scanStars: 21,880TypeScriptLTS
- aidenybai/millionStars: 17,663TypeScriptStable
- aidenybai/react-grabStars: 7,701TypeScriptStable
- aidenybai/bippyStars: 1,438TypeScriptBeta
- aidenybai/cnfastStars: 1,181TypeScriptBeta
- aidenybai/pattycakeStars: 872TypeScriptBeta
Nearby in TypeScript
All TypeScript repos- Wang-auspicious/Magic-PointerStars: 174TypeScriptPrototype
- prapaa-ai/agavStars: 174TypeScriptPrototype
- Omni-Scientist/OmniScientistStars: 174TypeScriptPrototype
- indus/nccStars: 174TypeScriptPrototype
- guoyunhe/rabbit-lyricsStars: 174TypeScriptPrototype
- akabekobeko/npm-icon-genStars: 174TypeScriptPrototype