pfouto / babel-core

Related projects ⓘ

Alternatives and complementary repositories for babel-core

• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆39Updated last year
• decentralizedthoughts / decentralizedthoughts.github.io
  Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
  ☆32Updated last week
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆56Updated 3 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆192Updated 6 months ago
• rupc / awesome-bft
  Awesome Byzantine Fault Tolerance (BFT)
  ☆61Updated 2 years ago
• microsoft / Nimble
  Rollback protection for confidential services
  ☆30Updated last year
• asonnino / narwhal
  Implementation of BFT consensus protocols based on the Narwhal mempool.
  ☆94Updated last month
• ucbrise / MerkleSquare
  A Go library for MerkleSquare: A Low-Latency Transparency Log System
  ☆20Updated 3 years ago
• asonnino / hotstuff
  Implementation of the HotStuff consensus protocol.
  ☆115Updated 3 months ago
• facebookresearch / narwhal
  Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.
  ☆193Updated last year
• dedis / quepaxa
  This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
  ☆33Updated 2 months ago
• pag-crypto / zkmbs
  Code for zero-knowledge middleboxes
  ☆59Updated 2 years ago
• yangl1996 / dispersed-ledger
  High-throughput Byzantine consensus on variable bandwidth networks.
  ☆36Updated 5 months ago
• Raycoms / Kauri-Public
  ☆19Updated 8 months ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆126Updated 8 months ago
• mbailleu / avocado
  ☆15Updated 3 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated 8 months ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• ucbrise / snoopy
  A high-throughput oblivious storage system
  ☆23Updated last year
• SJTU-IPADS / DeSearch
  a decentralized search engine with a decentralized verifiable dataflow
  ☆55Updated last year
• PlatformLab / epaxos
  ☆15Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• Pompe-org / Pompe-HS
  Pompe implementation based on HotStuff
  ☆16Updated 3 years ago
• SabaEskandarian / ObliDB
  An Oblivious General-Purpose SQL Database for the Cloud
  ☆56Updated 4 years ago
• ChenxingLi / authenticated-storage-benchmarks
  The authenticated storage benchmark platform includes implementations like OpenEthereum's MPT, RainBlock's MPT, LMPTs, and LVMT.
  ☆13Updated last year
• alinush / libpolycrypto
  (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…
  ☆31Updated 9 months ago