https://github.com/quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
https://github.com/quint-co/quint
apalache formal-methods language quint specification specification-language tlaplus verification
Last synced: about 10 hours ago
JSON representation
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- Host: GitHub
- URL: https://github.com/quint-co/quint
- Owner: quint-co
- License: apache-2.0
- Created: 2021-05-28T14:01:41.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2026-05-20T12:41:45.000Z (14 days ago)
- Last Synced: 2026-06-01T18:15:08.879Z (1 day ago)
- Topics: apalache, formal-methods, language, quint, specification, specification-language, tlaplus, verification
- Language: TypeScript
- Homepage: https://quint-lang.org
- Size: 88.5 MB
- Stars: 1,464
- Watchers: 20
- Forks: 131
- Open Issues: 241
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE