PrototypeCommune
kingbootoshi/tla-precheck
Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
- Propriétaire
- kingbootoshi (compte personnel)
- Étoiles
- Étoiles : 112
- Forks
- Forks : 5
- Langage
- TypeScript
- Licence
- Aucune
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de kingbootoshi
Les 6 dépôts de kingbootoshi- kingbootoshi/cartographerÉtoiles : 809TypeScriptBêta
- kingbootoshi/nano-banana-2-skillÉtoiles : 415TypeScriptAlpha
- kingbootoshi/codex-orchestratorÉtoiles : 358TypeScriptAlpha
- kingbootoshi/directional-promptingÉtoiles : 144Prototype
- kingbootoshi/facetime-bridgeÉtoiles : 102SwiftPrototype
D’autres dépôts TypeScript
Tous les dépôts TypeScript- jameshaworthcs/countinghouseÉtoiles : 112TypeScriptPrototype
- marcolamaia/MarcFlowÉtoiles : 112TypeScriptPrototype
- dbx0/executionerÉtoiles : 112TypeScriptPrototype
- michaelfaith/package-json-validatorÉtoiles : 112TypeScriptPrototype
- martyndavies/legitÉtoiles : 112TypeScriptPrototype
- keokilee/react-typescript-boilerplateÉtoiles : 112TypeScriptPrototype