consensus-oracle / coracleLinks
Simulation of consensus algorithms in heterogeneous networks
☆21Updated 9 years ago
Alternatives and similar repositories for coracle
Users that are interested in coracle are comparing it to the libraries listed below
Sorting:
- A persistent B-ish-tree☆57Updated 6 years ago
- WIP Handbook for MirageOS☆14Updated 7 years ago
- library for network address translation intended for use with mirage unikernels☆33Updated 5 months ago
- An ocaml library for using BPF/AF_SOCKET in a platform independent way.☆17Updated 2 years ago
- A Mirage filesystem library☆44Updated 3 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Work-in-Progress collection of examples of using MirageOS from OCaml☆23Updated 7 years ago
- iperf like tool on MirageOS☆11Updated 2 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- Moana implementation in OCaml☆16Updated 10 years ago
- Probabilistic data structures for OCaml☆39Updated 7 years ago
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- Inspection of internal value representations and the object graph☆33Updated 9 years ago
- Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04☆17Updated 4 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 8 years ago
- Configurable Cloudy Batch Scheduler☆16Updated 7 years ago
- Implementation of the Raft protocol in OCaml☆20Updated 8 years ago
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Updated 6 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Updated 11 months ago
- OCaml parsers for multiple key formats☆15Updated last year
- Watson Assistant OCaml SDK☆22Updated 6 years ago
- ☆32Updated 5 months ago
- Detect CPU features☆9Updated 6 years ago
- Copies OCaml objects out of the garbage collected heap☆13Updated 6 years ago
- ☆11Updated 9 years ago
- Raft consensus algorithm implementation☆32Updated 5 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 5 months ago
- Software construction and deployment kit☆33Updated this week
- The Noise Protocol Framework, with types☆26Updated 3 years ago