Pinned Loading

1. quint-co/quint quint-co/quint Public

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

   TypeScript 1.5k 133

2. quint-co/choreo quint-co/choreo Public

   Choreograph distributed protocols in Quint.

   Bluespec 14 2

3. quint-co/quint-llm-kit quint-co/quint-llm-kit Public

   Agents and tools for using Quint with LLMs

   Bluespec 70 8

4. quint-co/quint-trace-explorer quint-co/quint-trace-explorer Public

   Interactive TUI for exploring Quint/Apalache ITF traces

   Rust 10

5. sgx-bench sgx-bench Public

   C++ 1

6. fl-guessing fl-guessing Public

   Python