A model-based testing framework for Quint + Rust
☆102May 25, 2026Updated 5 months ago
Alternatives and similar repositories for quint-connect
Users that are interested in quint-connect are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Agents and tools for using Quint with LLMs☆114Jul 1, 2026Updated 3 months ago
- Choreograph distributed protocols in Quint.☆19Jun 23, 2026Updated 4 months ago
- Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.☆25Mar 17, 2026Updated 7 months ago
- APALACHE: symbolic model checker for TLA+ and Quint☆616Oct 12, 2026Updated 2 weeks ago
- Lock free MPSC Channel in Rust (a port of ringmpsc in Zig - see README)☆28Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- TemperPaw — Agent daemon built on Temper platform☆12Updated this week
- ☆10Jan 9, 2025Updated last year
- Formal specification of Resonate, written in Lean 4☆24Oct 15, 2026Updated 2 weeks ago
- Haskell embedding of PlusCal☆62May 21, 2022Updated 4 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- 🍃 The Leaf SDK — Entity-Component Data on top of synchronized CRDTs☆16Jun 2, 2025Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Library for building stateful property tests using the proptest crate☆26Oct 15, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- OpenDST - Deterministic Simulation Testing for Java☆27Jul 16, 2026Updated 3 months ago
- Prototype debugger for lilos☆27Mar 5, 2025Updated last year
- Magical Deterministic Simulator for distributed systems in Rust.☆1,179Feb 16, 2026Updated 8 months ago
- The TLA⁺ Proof Manager☆138Updated this week
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆17Aug 6, 2023Updated 3 years ago
- Sqlite3 bindings for lean4☆12Jul 12, 2026Updated 3 months ago
- Property-based testing for web and terminal UIs☆1,566Updated this week
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- A local-first, peer-to-peer app platform, based on Zed☆16Jul 29, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A verification toolchain for Rust programs☆1,118Updated this week
- A simple, single authentication library for several languages☆14Nov 5, 2025Updated 11 months ago
- Minimal Prolog implemented in Rust☆47Sep 1, 2026Updated last month
- Bayesian process classifier that detects abandoned/zombie processes and recommends safe cleanup actions☆29Updated this week
- Tremor Language Server (Trill)☆13Apr 18, 2024Updated 2 years ago
- ☆80Updated this week
- Retrieve website metadata such as title, description, preview image, author and more from OpenGraph, Google, Schema.org and Twitter compl…☆13Oct 20, 2025Updated last year
- A model-based testing framework for .NET that validates implementations against behavioral specifications.☆68Updated this week
- Creusot helps you prove your Rust code is correct.☆1,947Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Verified Rust for low-level systems code☆3,498Updated this week
- Pure-Rust implementation of Fast Static Symbol Tables string compression☆233Updated this week
- Dafny verifies proofs; claimcheck confirms intent.☆33Updated this week
- "Building Distributed Systems with Stateright"☆19Jul 28, 2025Updated last year
- A model checker for Rust programs.☆3,604Updated this week
- ☆15Jul 28, 2023Updated 3 years ago
- Model-based testing tool☆73Mar 12, 2025Updated last year