Agents and tools for using Quint with LLMs
☆78Jul 1, 2026Updated 2 weeks ago
Alternatives and similar repositories for quint-llm-kit
Users that are interested in quint-llm-kit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A model-based testing framework for Quint + Rust☆69May 25, 2026Updated last month
- Choreograph distributed protocols in Quint.☆15Jun 23, 2026Updated 3 weeks ago
- Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.☆26Mar 17, 2026Updated 4 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,539Updated this week
- Lock free MPSC Channel in Rust (a port of ringmpsc in Zig - see README)☆25Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Jeopardy, for the folks at home 📺☆11May 27, 2026Updated last month
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Security Audits by Informal Systems☆22Feb 27, 2026Updated 4 months ago
- A formatter for TLA+ specs☆15Updated this week
- ☆46Jun 26, 2026Updated 3 weeks ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Specula: A framework for finding deep bugs in system code using TLA+☆215Updated this week
- Simple Structured logger☆14Jun 8, 2025Updated last year
- The official Rust tracing layer for Axiom☆27Apr 17, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Plug-and-play fee market module for Cosmos SDK chains☆31Apr 23, 2026Updated 2 months ago
- ☆25Updated this week
- DASL — Data-Addressed Structures & Links☆29Updated this week
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆23Jun 26, 2026Updated 3 weeks ago
- ☆28Mar 1, 2026Updated 4 months ago
- Shopping cart example in Elm☆12Feb 11, 2020Updated 6 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆48Jul 7, 2022Updated 4 years ago
- Rust implementation of the SWIM protocol.☆14Nov 6, 2022Updated 3 years ago
- Haskell embedding of PlusCal☆62May 21, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Synthetic Hypertext and Homomorphic Catalogue☆16Dec 28, 2024Updated last year
- TLAi+ Benchmarks☆36Feb 6, 2026Updated 5 months ago
- Shared Private Data☆19Jul 12, 2026Updated last week
- Vouch-compatible PR-spam reduction Github Action workflow + CLI tool☆37Jul 6, 2026Updated 2 weeks ago
- A peer-to-peer decentralized database☆23Mar 1, 2026Updated 4 months ago
- Command line binaries for the TLA+ language☆173Apr 27, 2023Updated 3 years ago
- Convert TLA+ output (and values) into JSON☆28Mar 3, 2021Updated 5 years ago
- Secure messaging for Bluesky. Powered by XMTP.☆23Feb 13, 2026Updated 5 months ago
- Essential utilities, refined for Scala 3 with minimal dependencies☆15Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- APALACHE: symbolic model checker for TLA+ and Quint☆585Jul 10, 2026Updated last week
- The TLA⁺ Proof Manager☆123Updated this week
- Simple proposal for a P2P credit system☆23Sep 24, 2025Updated 9 months ago
- Harness Engineering control plane for agent-first software delivery. Orchestrate Claude Code, Codex, OpenCode, and shell-native agents vi…☆18Jun 29, 2026Updated 3 weeks ago
- media-focused fork of mastodon that supports only private/followers-only accounts☆24May 27, 2026Updated last month
- ☆22Jun 19, 2026Updated last month
- ☆11Feb 13, 2023Updated 3 years ago