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
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Updated 8 years ago
- A Mirage filesystem library☆44Updated 3 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- Virtual network interface and software bridge for Mirage☆16Updated 5 months ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- Configurable Cloudy Batch Scheduler☆16Updated 7 years ago
- Work-in-Progress collection of examples of using MirageOS from OCaml☆23Updated 7 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Updated 9 years ago
- authenticated data structures, generically☆54Updated 8 years ago
- library for network address translation intended for use with mirage unikernels☆33Updated 5 months ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Canopy blog data that powers ICFP liveblog☆16Updated 8 years ago
- OCaml@p : OCamlにおけるデバッグ出力機構 / A debugging printer for OCaml☆11Updated 8 years ago
- ☆16Updated 7 months ago
- OCaml parsers for multiple key formats☆15Updated last year
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 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
- ☆13Updated 9 months ago
- An eDSL for MirageOS apps☆20Updated 7 years ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- Solo5 core platform libraries for MirageOS☆19Updated 6 months ago
- ☆32Updated 6 months ago
- Inspection of internal value representations and the object graph☆33Updated 9 years ago
- OCaml ppx to include binary data from a url as a string☆13Updated 8 years ago
- Raft consensus algorithm implementation☆32Updated 5 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago