Highlights
- Pro
Pinned Loading
-
informalsystems/quint
informalsystems/quint PublicAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
-
informalsystems/choreo
informalsystems/choreo PublicChoreograph distributed protocols in Quint.
Bluespec 9
-
informalsystems/quint-llm-kit
informalsystems/quint-llm-kit PublicAgents and tools for using Quint with LLMs
-
informalsystems/quint-trace-explorer
informalsystems/quint-trace-explorer PublicInteractive TUI for exploring Quint/Apalache ITF traces
Rust 2
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


