Contribution totals unavailable
No contribution history synced yet.
the champagne of beta embedded databases
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
extremely boring async function runner!
simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly
counters and logarithmically bucketed histograms for distributed systems
(getting to be a) hard to kill scalable linearizabe store
scraps of a potential language
rust database engineering toolkit
building blocks and testing tools for reliable systems