PrototypeCommon
kingbootoshi/tla-precheck
Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
- Owner
- kingbootoshi (personal account)
- Stars
- Stars: 112
- Forks
- Forks: 5
- Language
- TypeScript
- License
- None
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by kingbootoshi
All 6 repos by kingbootoshi- kingbootoshi/cartographerStars: 811TypeScriptBeta
- kingbootoshi/nano-banana-2-skillStars: 415TypeScriptAlpha
- kingbootoshi/codex-orchestratorStars: 359TypeScriptAlpha
- kingbootoshi/directional-promptingStars: 144Prototype
- kingbootoshi/facetime-bridgeStars: 102SwiftPrototype
Nearby in TypeScript
All TypeScript repos- dzhng/yapStars: 112TypeScriptPrototype
- jameshaworthcs/countinghouseStars: 112TypeScriptPrototype
- Comfy-Org/comfy-openjutsuStars: 112TypeScriptPrototype
- michaelfaith/package-json-validatorStars: 112TypeScriptPrototype
- martyndavies/legitStars: 112TypeScriptPrototype
- keokilee/react-typescript-boilerplateStars: 112TypeScriptPrototype