Determinant / salticidae

Related projects ⓘ

Alternatives and complementary repositories for salticidae

• Pompe-org / Pompe-HS
  Pompe implementation based on HotStuff
  ☆16Updated 3 years ago
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• UCSB-TDS / CS291D-20Fall
  CS291D Course Materials
  ☆15Updated 3 years ago
• NYU-NEWS / janus
  ☆49Updated 7 months ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 3 years ago
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated 5 months ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆71Updated 6 months ago
• decentralizedthoughts / decentralizedthoughts.github.io
  Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
  ☆31Updated last week
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆50Updated last month
• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆80Updated 3 years ago
• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆39Updated last year
• stonysystems / depfast-ae
  ☆18Updated this week
• stonysystems / rolis
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆14Updated 8 months ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆64Updated 3 years ago
• IBM / uDepot
  Key-Value Store for Non-Volatile Memories uDepot
  ☆44Updated 2 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 4 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆98Updated 8 years ago
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆10Updated 5 years ago
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆43Updated 4 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆24Updated 5 years ago
• hot-stuff / libhotstuff
  A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…
  ☆241Updated last year
• ivicanikolicsg / OHIE
  OHIE - Blockchain scaling
  ☆34Updated 3 years ago
• ruaaadb / lock-free
  Experimental lock-free structures in Rust.
  ☆20Updated 2 years ago
• frevib / epoll-echo-server
  ☆49Updated 4 years ago
• osadalakmal / cpp-raft
  Raft Consensus Algorithm Implementation in C++ (11)
  ☆25Updated 9 years ago
• yangl1996 / prism-rust
  Rust implementation of the Prism consensus protocol
  ☆100Updated last year
• columbia / crane
  Transparent Paxos
  ☆44Updated 5 years ago
• rupc / awesome-bft
  Awesome Byzantine Fault Tolerance (BFT)
  ☆61Updated 2 years ago