8000 Quint Co · GitHub
[go: up one dir, main page]
Skip to content
8000
@quint-co

Quint Co

Popular repositories Loading

  1. quint quint Public

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

    TypeScript 1.9k 155

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

    Agents and tools for using Quint with LLMs

    Quint 116 12

  3. quint-connect quint-connect Public

    A model-based testing framework for Quint + Rust

    Rust 105 5

  4. choreo choreo Public

    Choreograph distributed protocols in Quint.

    Quint 19 2

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

    Interactive TUI for exploring Quint/Apalache ITF traces

    Rust 13

  6. quint-sandbox quint-sandbox Public

    Material used in interactive demos and tutorials

    Bluespec 4 1

Repositories

Showing 6 of 6 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0