stateright / stateright
A model checker for implementing distributed systems.
☆1,579Updated last month
Related projects ⓘ
Alternatives and complementary repositories for stateright
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,043Updated 7 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,586Updated last week
- Highly-available Distributed Fault-tolerant Runtime☆2,803Updated last year
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,109Updated 5 months ago
- a collection of well-tested, serializable CRDTs for Rust☆1,375Updated 5 months ago
- Add hardship to your tests☆790Updated last month
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,134Updated 2 weeks ago
- pure rust io_uring library, built on libc, thread & async friendly, misuse resistant☆940Updated 2 years ago
- Magical Deterministic Simulator for distributed systems in Rust.☆684Updated last month
- Concurrency permutation testing tool for Rust.☆2,145Updated 2 months ago
- An implementation of the Raft distributed consensus protocol using the Tokio framework.☆1,036Updated last year
- A Rust port of FlameGraph☆1,696Updated this week
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- SQLite + Little Raft = 🚀☆574Updated 2 years ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,567Updated last month
- Shuttle is a library for testing concurrent Rust code☆685Updated last month
- A modular implementation of timely dataflow in Rust☆3,299Updated last week
- A lock-free, read-optimized, concurrency primitive.☆1,954Updated 4 months ago
- Actor runtime and distributed systems framework for Rust☆713Updated 6 months ago
- Raft distributed consensus algorithm implemented in Rust.☆2,971Updated last month
- Represent large sets and maps compactly with finite state transducers.☆1,790Updated last month
- The lightest distributed consensus library. Run your own replicated state machine! ❤️☆420Updated 2 years ago
- A graph database written in rust☆2,194Updated 3 weeks ago
- ☆556Updated last year
- An io_uring backed runtime for Rust☆1,142Updated 3 months ago
- Monorepo for the Hydro Project☆481Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,381Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆812Updated 7 months ago
- Rust persistent data structures☆1,261Updated last week
- A Rust CPU profiler implemented with the help of backtrace-rs☆1,326Updated last week