Cjen1 / reckon
☆14Updated 6 months ago
Alternatives and similar repositories for reckon:
Users that are interested in reckon are comparing it to the libraries listed below
- Reading the linearizability paper with TLA+☆48Updated 2 years ago
- Tools for conformance monitoring on Kubernetes with TLA+☆22Updated 9 months ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- ☆11Updated 5 months ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- Paxos Made Simple☆18Updated 2 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Updated 7 years ago
- A Mirage filesystem library☆43Updated 3 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆31Updated 5 years ago
- Implementation of Raft consensus algorithm☆111Updated 10 years ago
- framework for evaluating (planet-scale) consensus protocols☆127Updated last year
- TLA+ specifications for Raft and variants☆63Updated 2 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆42Updated 3 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26Updated 4 years ago
- Byzantine model checker☆21Updated 2 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆34Updated 2 weeks ago
- OCaml embedded eBPF assembler☆21Updated 3 years ago
- RFCs for changes to the TLA+ specification language☆13Updated 2 weeks ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆187Updated last year
- Formal verification of the Algorand consensus protocol☆26Updated 2 years ago
- This is the code repository for QuePaxa project (formerly Raxos or QSCOD)☆33Updated 3 weeks ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆14Updated 5 months ago
- The TLA⁺ Proof Manager☆73Updated 2 weeks ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆21Updated 3 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated 3 weeks ago
- Library of Raft consensus algorithm implemented in OCaml☆30Updated last year
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago