BetaRare
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- Owner
- quint-co (organization)
- Stars
- Stars: 1,910
- Forks
- Forks: 155
- Language
- TypeScript
- License
- Apache-2.0
- Created
- 2021
- Topics
- languagetlaplusquintapalachespecificationformal-methodsverificationspecification-languageformal-verification
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by quint-co
All 3 repos by quint-co- quint-co/quint-llm-kitStars: 115QuintPrototype
- quint-co/quint-connectStars: 103RustPrototype
Nearby in TypeScript
All TypeScript repos- jeremy-prt/bloubStars: 1,913TypeScriptBeta
- rmanguinho/clean-ts-apiStars: 1,912TypeScriptBeta
- evloghq/evlogStars: 1,910TypeScriptBeta
- RedPlanetHQ/tegonStars: 1,909TypeScriptBeta
- kenryu42/cc-safety-netStars: 1,909TypeScriptBeta
- bbc/sqs-consumerStars: 1,908TypeScriptBeta