stateright / staterightLinks
A model checker for implementing distributed systems.
☆1,643Updated 3 weeks ago
Alternatives and similar repositories for stateright
Users that are interested in stateright are comparing it to the libraries listed below
Sorting:
- An implementation of differential dataflow using timely dataflow on Rust.☆2,703Updated last week
- Highly-available Distributed Fault-tolerant Runtime☆2,844Updated 2 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,053Updated 8 years ago
- Magical Deterministic Simulator for distributed systems in Rust.☆861Updated 4 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,288Updated last month
- a collection of well-tested, serializable CRDTs for Rust☆1,439Updated 11 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,391Updated this week
- Concurrency permutation testing tool for Rust.☆2,352Updated last month
- A modular implementation of timely dataflow in Rust☆3,444Updated 3 weeks ago
- A high-level distributed programming framework for Rust☆914Updated this week
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆958Updated 2 years ago
- A lock-free, read-optimized, concurrency primitive.☆1,998Updated 11 months ago
- A lightweight Datalog engine in Rust☆820Updated 3 years ago
- Add hardship to your tests☆977Updated last week
- Shuttle is a library for testing concurrent Rust code☆798Updated last week
- An implementation of the Raft distributed consensus protocol using the Tokio framework.☆1,062Updated 2 years ago
- Rust persistent data structures☆1,499Updated last month
- Raft distributed consensus algorithm implemented in Rust.☆3,116Updated 3 months ago
- The lightest distributed consensus library. Run your own replicated state machine! ❤️☆441Updated 2 months ago
- A persistent key-value storage in rust.☆857Updated last year
- ☆568Updated 2 years ago
- Represent large sets and maps compactly with finite state transducers.☆1,870Updated 8 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,928Updated last month
- Comparison of Rust async and Linux thread context switch time.☆727Updated 6 months ago
- Actor runtime and distributed systems framework for Rust☆724Updated last year
- SQLite + Little Raft = 🚀☆580Updated 2 years ago
- Black-box transactional safety checker based on cycle detection☆662Updated 3 weeks ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,409Updated last year
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated 2 weeks ago
- Assorted immutable collection datatypes for Rust☆1,534Updated 9 months ago