Alternatives and similar repositories for babel-core

Users that are interested in babel-core are comparing it to the libraries listed below

• haochenpan / rabia
  Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)
  ☆43Updated 2 years ago
• decentralizedthoughts / decentralizedthoughts.github.io
  Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll
  ☆34Updated last week
• dedis / quepaxa
  This is the code repository for QuePaxa project (formerly Raxos or QSCOD)
  ☆33Updated last month
• microsoft / Nimble
  Rollback protection for confidential services
  ☆32Updated last year
• emp-toolkit / emp-agmpc
  Global-Scale Secure Multiparty Computation
  ☆45Updated 2 years ago
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆74Updated 3 years ago
• pag-crypto / zkmbs
  Code for zero-knowledge middleboxes
  ☆62Updated 2 years ago
• ucbrise / MerkleSquare
  A Go library for MerkleSquare: A Low-Latency Transparency Log System
  ☆22Updated 4 years ago
• rupc / awesome-bft
  Awesome Byzantine Fault Tolerance (BFT)
  ☆67Updated 3 years ago
• asonnino / hotstuff
  Implementation of the HotStuff consensus protocol.
  ☆133Updated 9 months ago
• yangl1996 / dispersed-ledger
  High-throughput Byzantine consensus on variable bandwidth networks.
  ☆36Updated 11 months ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 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/…
  ☆25Updated last year
• algorand / pointproofs
  ☆48Updated 2 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 7 months ago
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 4 months ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• dedis / onet
  Overlay Network for distributed protocols
  ☆51Updated 2 years ago
• asonnino / narwhal
  Implementation of BFT consensus protocols based on the Narwhal mempool.
  ☆101Updated this week
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated last week
• flock-org / flock-artifact
  A framework for deploying on-demand distributed-trust.
  ☆13Updated last year
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year
• menonsamir / spiral-rs
  ☆11Updated 2 months ago
• ucbrise / snoopy
  A high-throughput oblivious storage system
  ☆26Updated 2 years ago
• facebookresearch / narwhal
  Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.
  ☆209Updated 2 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• consensus-shipyard / mir
  ☆48Updated last year
• mbailleu / avocado
  ☆16Updated 3 years ago
• ucbrise / dory
  ☆36Updated 4 years ago