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 131

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

   Agents and tools for using Quint with LLMs

   Bluespec 67 6

3. quint-connect quint-connect Public

   A model-based testing framework for Quint + Rust

   Rust 61 5

4. choreo choreo Public

   Choreograph distributed protocols in Quint.

   Bluespec 14 2

5. quint-sandbox quint-sandbox Public

   Material used in interactive demos and tutorials

   Bluespec 4 1