BêtaRare
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- Propriétaire
- quint-co (organisation)
- Étoiles
- Étoiles : 1 905
- Forks
- Forks : 155
- Langage
- TypeScript
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- languagetlaplusquintapalachespecificationformal-methodsverificationspecification-languageformal-verification
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de quint-co
Les 3 dépôts de quint-co- quint-co/quint-llm-kitÉtoiles : 115QuintPrototype
- quint-co/quint-connectÉtoiles : 103RustPrototype
D’autres dépôts TypeScript
Tous les dépôts TypeScript- wormhole-foundation/wormholeÉtoiles : 1 905TypeScriptBêta
- bugbakery/audapolisÉtoiles : 1 905TypeScriptBêta
- chinesehuazhou/python-weeklyÉtoiles : 1 905TypeScriptBêta