ConnectEverything / caspaxos-kvView external linksLinks
Rust CASPaxos implementation
☆66Oct 27, 2020Updated 5 years ago
Alternatives and similar repositories for caspaxos-kv
Users that are interested in caspaxos-kv are comparing it to the libraries listed below
Sorting:
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆142Jul 11, 2020Updated 5 years ago
- Kshaka is a Go implementation of the CASPaxos consensus protocol.☆24Sep 19, 2018Updated 7 years ago
- scraps of a potential language☆38Apr 9, 2021Updated 4 years ago
- skiplist☆144Nov 24, 2021Updated 4 years ago
- Totally Badass Databases in Rust - an experiment☆22Dec 24, 2018Updated 7 years ago
- software transactional memory in rust☆14Jul 20, 2021Updated 4 years ago
- ☆23Oct 3, 2022Updated 3 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 4 years ago
- raw bindings for git://git.kernel.dk/liburing☆16Jan 15, 2020Updated 6 years ago
- ☆12Feb 24, 2024Updated last year
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆45Feb 12, 2022Updated 4 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Feb 5, 2020Updated 6 years ago
- Minimal non-blocking I/O for Rust☆172Dec 27, 2024Updated last year
- ☆47Sep 25, 2020Updated 5 years ago
- FST (Fast Succinct Trie) implementation in Rust☆26May 9, 2019Updated 6 years ago
- QUIC, a multiplexed stream transport over UDP (wip)☆17Jun 3, 2018Updated 7 years ago
- a place to coordinate our shared efforts☆16Mar 22, 2019Updated 6 years ago
- golang like task executor☆52Sep 13, 2021Updated 4 years ago
- Library for parse perf.data file from Linux perf tool for Rust☆18Apr 25, 2020Updated 5 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 4 years ago
- Lock free bounded non blocking pub sub queue☆77Nov 4, 2025Updated 3 months ago
- Model-based testing tool☆63Mar 12, 2025Updated 11 months ago
- A Go implementation of the CASPaxos protocol☆297Apr 1, 2018Updated 7 years ago
- bytes::BufMut implementation to count buffer size☆25Updated this week
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- A fast, small, full-featured, no-std compatible oneshot channel☆61Nov 28, 2023Updated 2 years ago
- Very fast cryptographic hashing for large messages.☆69Mar 11, 2025Updated 11 months ago
- Rust serializer library☆89Sep 18, 2025Updated 4 months ago
- Utilities building on top of Rust's async primitives.☆24Jun 13, 2019Updated 6 years ago
- Transport-polymorphic, asynchronous session types for Rust☆64Oct 19, 2022Updated 3 years ago
- The secure messaging summit information☆20Oct 27, 2020Updated 5 years ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆21Sep 15, 2021Updated 4 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- Pure Rust LSM-tree based embedded storage engine☆627Mar 16, 2023Updated 2 years ago
- A collection of state machine replication protocols☆121Dec 8, 2022Updated 3 years ago
- A (mostly) drop-in replacement for Rust's Result that provides backtrace support.☆25Nov 7, 2025Updated 3 months ago
- Rust implementation of Paxos consensus algorithm☆115Jan 15, 2023Updated 3 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago