Alternatives and similar repositories for salticidae

Users that are interested in salticidae are comparing it to the libraries listed below

• Pompe-org / Pompe-HS
  Pompe implementation based on HotStuff
  ☆16Updated 3 years ago
• tikv / client-c
  The C++ TiKV client used by TiFlash.
  ☆39Updated 3 months ago
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated 2 months ago
• bobotu / opt-art
  The Adaptive Radix Tree With Optimistic Synchronization.
  ☆21Updated 6 years ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆72Updated last year
• frevib / epoll-echo-server
  ☆50Updated 5 years ago
• yangl1996 / prism-rust
  Rust implementation of the Prism consensus protocol
  ☆102Updated 2 years ago
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• decentralizedthoughts / decentralizedthoughts.github.io
  Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
  ☆34Updated 3 weeks ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Updated 5 years ago
• IBM / uDepot
  Key-Value Store for Non-Volatile Memories uDepot
  ☆46Updated 2 years ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆65Updated 3 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 5 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• kennethho / mvcc11
  A simple header-only Multiversion Concurrency Control (MVCC) implementation in C++11.
  ☆26Updated 9 years ago
• vonwenm / pbft
  pbft - Practical Byzantine Fault Tolerance
  ☆12Updated 9 years ago
• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆41Updated 2 years ago
• Determinant / growth-ring
  Simple and modular write-ahead-logging implementation.
  ☆25Updated last year
• kaimast / credb
  CreDB is an autonomous blockchain
  ☆1Updated 5 years ago
• stonysystems / rolis
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆17Updated last year
• citahub / cita-vm
  CITA VM
  ☆50Updated last year
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆54Updated 7 months ago
• integridb / Code
  ☆20Updated 9 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• el10savio / GoPaxos
  Paxos Made Simple
  ☆19Updated 2 years ago
• laysakura / fst-rs
  FST (Fast Succinct Trie) implementation in Rust
  ☆26Updated 6 years ago
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆17Updated 6 years ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago