Back to all repositories
QU
quint
by quint-co
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
1,659stars144forks19watchers/subscribers249issues
apalacheformal-methodslanguagequintspecificationspecification-languagetlaplusverification
- Language
- TypeScript
- License
- Apache License 2.0
- Size
- 90.1 MB
- Created
- May 28, 2021
- Last Updated
- Sep 4, 2026
- Last Pushed
- Aug 20, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.