pfouto / babel-coreLinks
☆18Updated last year
Alternatives and similar repositories for babel-core
Users that are interested in babel-core are comparing it to the libraries listed below
Sorting:
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆43Updated 2 years ago
- Global-Scale Sustainable Blockchain Fabric☆150Updated this week
- This is the code repository for QuePaxa project (formerly Raxos or QSCOD)☆33Updated 2 months ago
- List of bugs found in distributed protocols☆199Updated last year
- framework for evaluating (planet-scale) consensus protocols☆127Updated last year
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆25Updated last year
- Awesome Byzantine Fault Tolerance (BFT)☆68Updated 3 years ago
- ☆102Updated 3 years ago
- Azure Cosmos TLA+ specifications☆22Updated 5 months ago
- Lecture notes on Distributed Computing that are publicly accessible.☆80Updated 3 years ago
- Global-Scale Secure Multiparty Computation☆46Updated 2 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 4 years ago
- An Oblivious General-Purpose SQL Database for the Cloud☆57Updated 5 years ago
- ☆11Updated 8 months ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆25Updated 5 years ago
- TLA+ model checking guided testing for distributed systems☆16Updated last year
- Prototype implementation of SwiftPaxos (NSDI 2024)☆19Updated last year
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆24Updated 2 months ago
- Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.☆210Updated 2 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆36Updated last year
- Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll☆34Updated this week
- Byzantine Eventual Consistency☆22Updated 2 years ago
- ☆11Updated 7 years ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- Overlay Network for distributed protocols☆51Updated 2 years ago
- EdgelessDB is a MySQL-compatible database for confidential computing. It runs entirely inside a secure enclave and comes with advanced fe…☆169Updated 2 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆16Updated 10 months ago
- Specifying and Verifying CRDT Protocols using TLA+☆42Updated 4 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆89Updated 8 months ago