Popular repositories Loading

1. quint quint Public

   An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

   TypeScript 1.5k 132

2. quint-llm-kit quint-llm-kit Public

   Agents and tools for using Quint with LLMs

   Bluespec 68 8

3. quint-connect quint-connect Public

   A model-based testing framework for Quint + Rust

   Rust 62 5

4. choreo choreo Public

   Choreograph distributed protocols in Quint.

   Bluespec 14 2

5. quint-trace-explorer quint-trace-explorer Public

   Interactive TUI for exploring Quint/Apalache ITF traces

   Rust 10

6. quint-sandbox quint-sandbox Public

   Material used in interactive demos and tutorials

   Bluespec 4 1