consensus-oracle / coracleLinks
Simulation of consensus algorithms in heterogeneous networks
☆21Updated 10 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
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- WIP Handbook for MirageOS☆14Updated 7 years ago
- An ocaml library for using BPF/AF_SOCKET in a platform independent way.☆17Updated 2 years ago
- iperf like tool on MirageOS☆11Updated 3 months ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 9 years ago
- Inspection of internal value representations and the object graph☆32Updated 9 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- library for network address translation intended for use with mirage unikernels☆33Updated 9 months ago
- ☆13Updated last year
- The Noise Protocol Framework, with types☆26Updated 4 years ago
- OCaml parsers for multiple key formats☆15Updated last year
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 9 months ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- Solo5 core platform libraries for MirageOS☆19Updated 2 months ago
- Virtual network interface and software bridge for Mirage☆16Updated 9 months ago
- ☆34Updated 10 months ago
- A b-tree implementation for Mirage BLOCK devices☆15Updated 9 years ago
- A B-Tree implementation in OCaml☆24Updated 9 years ago
- Collect profiling information☆18Updated 2 years ago
- Probabilistic data structures for OCaml☆39Updated 7 years ago
- ☆21Updated this week
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Updated 9 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Canopy blog data that powers ICFP liveblog☆16Updated 9 years ago
- A Mirage filesystem library☆45Updated 4 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Sandboxed build environment for opam projects☆13Updated 9 years ago
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Updated 7 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆12Updated 9 years ago