Pillars for Transactional Systems and Data Grids
APACHE-2.0 License
An implementation of Craig and, indenpendently, Magnussen, Landin, and Hagersten queue lock for m...
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
A Mutex/RwLock that helps you sanity check your concurrent algorithm and becomes zero-cost with t...
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...
the champagne of beta embedded databases
Simple, Erlang-inspired fault-tolerance framework for Rust Futures.
Concurrency permutation testing tool for Rust.
Code examples, data structures, and links from my book, Rust Atomics and Locks.
An interpreter for Rust's mid-level intermediate representation
Distributed SQL database in Rust, written as a learning project
Material I come across which is beneficial in reading through to learn the language
A simple asynchronous runtime for executing async coroutines in the bevy engine.
A modular implementation of timely dataflow in Rust
Compact and efficient synchronization primitives for Rust. Also provides an API for creating cust...
OxidSQL (Toy) SQL Database in Rust