☆80Oct 29, 2026Updated this week
Alternatives and similar repositories for tla-rs
Users that are interested in tla-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Oct 12, 2026Updated 2 weeks ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 2 weeks ago
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- TLA embedding in Verus☆33Updated this week
- Tutorial on modeling with TLA+☆24Sep 15, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆20Oct 20, 2026Updated last week
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Convert TLA+ output (and values) into JSON☆29Mar 3, 2021Updated 5 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 9 months ago
- TLAi+ Benchmarks☆37Feb 6, 2026Updated 8 months ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆18Dec 16, 2024Updated last year
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆124Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A radix tree implementation☆15Sep 22, 2022Updated 4 years ago
- CN separation logic refinement type system for C☆61Oct 22, 2026Updated last week
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Updated this week
- Add observability to your Rust types!☆74May 2, 2026Updated 5 months ago
- A repository for sharing agent capabilities and expertise related to TLA+.☆42Feb 4, 2026Updated 8 months ago
- ☆13Apr 10, 2025Updated last year
- TLA+ models of Linux kernel protocols☆38Oct 12, 2026Updated 2 weeks ago
- APALACHE: symbolic model checker for TLA+ and Quint☆616Oct 12, 2026Updated 2 weeks ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆226Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated last year
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Compile-time capability-based security for Rust☆16Jul 28, 2026Updated 3 months ago
- Validating an email address string against RFC 5322☆17Mar 4, 2023Updated 3 years ago
- Some experiments in making exercises for teaching TLA+☆21May 7, 2025Updated last year
- A brief, self-descriptive, serde-compatible binary format.☆18Jan 4, 2026Updated 9 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆75Feb 5, 2023Updated 3 years ago
- "Serialize" type info to a runtime tag based on serde data model.☆15Apr 17, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Website for Alloytools☆14Nov 3, 2025Updated 11 months ago
- Pure Rust interface to the userspace devfs (udev) subsystem on Linux☆15Jul 12, 2025Updated last year
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆1,892Updated this week
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- In-process, multi master, distributed database☆21Jun 18, 2026Updated 4 months ago
- High-performance Machine Learning, Dynamic Auto-Differentiation and Tensor Algebra crate for Rust☆18Jun 8, 2025Updated last year
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆44Jul 22, 2025Updated last year