consensus-oracle / coracle
Simulation of consensus algorithms in heterogeneous networks
☆21Updated 8 years ago
Related projects: ⓘ
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆46Updated 4 months ago
- Raft consensus algorithm implementation☆33Updated 4 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- An implementation of generic authenticated data structures in OCaml☆16Updated 4 years ago
- A persistent B-ish-tree☆55Updated 5 years ago
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Updated 6 years ago
- establish trust in community repositories, cryptographically signed by library authors☆34Updated 2 weeks ago
- authenticated data structures, generically☆50Updated 7 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆13Updated 3 years ago
- A TLA+ specification for the Xen vchan protocol☆14Updated 5 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 8 years ago
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- A Mirage filesystem library☆44Updated 3 years ago
- Inspection of internal value representations and the object graph☆32Updated 8 years ago
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 4 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆94Updated last month
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated 8 months ago
- Parses and executes Runway models of distributed systems☆50Updated 2 years ago
- Elliptic Curves Cryptography for OCaml☆12Updated 4 years ago
- library for network address translation intended for use with mirage unikernels☆31Updated last week
- A DSL to invoke otherworldly functors☆63Updated 2 years ago
- OCaml adapters for crypto providers used in Everest☆10Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 10 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Canopy blog data that powers ICFP liveblog☆17Updated 7 years ago
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Updated 8 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated 10 months ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Updated 5 years ago