Agents and tools for using Quint with LLMs
☆91Jul 1, 2026Updated 2 months 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☆81May 25, 2026Updated 3 months ago
- Choreograph distributed protocols in Quint.☆17Jun 23, 2026Updated 2 months ago
- Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.☆25Mar 17, 2026Updated 5 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,662Aug 20, 2026Updated 2 weeks ago
- A repository for sharing agent capabilities and expertise related to TLA+.☆37Feb 4, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lock free MPSC Channel in Rust (a port of ringmpsc in Zig - see README)☆27Updated this week
- Secure SGX Sidecar for CosmWasm☆63Feb 24, 2026Updated 6 months ago
- Security Audits by Informal Systems☆21Feb 27, 2026Updated 6 months ago
- A formatter for TLA+ specs☆15Updated this week
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Plug-and-play fee market module for Cosmos SDK chains☆31Apr 23, 2026Updated 4 months ago
- Specula: An agentic tool for finding deep bugs in system code using TLA+☆447Updated this week
- Habitat is building a protocol and platform for organizations to own their data.☆36Updated this week
- DASL — Data-Addressed Structures & Links☆29Aug 12, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆22Jun 26, 2026Updated 2 months ago
- Small Authentication Large Trie: memory-efficient authenticated KV store for blockchain state☆19Updated this week
- FFI for OpenCL☆12Dec 19, 2015Updated 10 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 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
- Redis bindings for Racket☆15Jul 5, 2023Updated 3 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- 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.
- Symbolic formula representation and solver interaction library☆178Updated this week
- Mermaid generator typed in TypeScript☆15Dec 27, 2023Updated 2 years ago
- TLAi+ Benchmarks☆37Feb 6, 2026Updated 7 months ago
- hang.live☆27Jul 6, 2026Updated 2 months ago
- PlusCal formulations of various solutions of the critical section problem like Lamport's Fast Mutual Exclusion algorithm or Dekker's algo…☆10Nov 17, 2015Updated 10 years ago
- A tool for deductive verification of Python programs based on Dafny☆35Jul 18, 2021Updated 5 years ago
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- APALACHE: symbolic model checker for TLA+ and Quint☆596Updated this week
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Simple proposal for a P2P credit system☆23Sep 24, 2025Updated 11 months ago
- Harness Engineering control plane for agent-first software delivery. Orchestrate Claude Code, Codex, OpenCode, and shell-native agents vi…☆21Updated this week
- Minimal set of functional CSS utilities☆15Aug 15, 2020Updated 6 years ago
- media-focused fork of mastodon that supports only private/followers-only accounts☆23Aug 13, 2026Updated 3 weeks ago
- ☆27Jul 29, 2026Updated last month
- A common lisp DSL for writing zero knowledge circuits☆18Oct 19, 2022Updated 3 years ago
- Repository of the Haskell Blog☆19Aug 31, 2026Updated last week