komamitsu / oraftLinks
Library of Raft consensus algorithm implemented in OCaml
☆30Updated 2 years ago
Alternatives and similar repositories for oraft
Users that are interested in oraft are comparing it to the libraries listed below
Sorting:
- Monad-based linear types in OCaml, with a few syntax extensions☆38Updated 6 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Simple hash algorithms in OCaml☆93Updated 6 months ago
- Multiparty Session Types in OCaml☆59Updated last year
- Light library to deal with RPCs in OCaml☆97Updated 3 months ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆157Updated 2 years ago
- Experimental model checker for testing concurrent algorithms☆40Updated 11 months ago
- Bindings to io_uring for OCaml☆63Updated last month
- Streaming client for OCaml's Memprof☆71Updated last year
- Generation of S-expression conversion functions from type definitions☆93Updated this week
- Documentation of the OCaml implementation☆53Updated 2 years ago
- ☆13Updated 3 years ago
- Binary protocol generator☆87Updated this week
- A tool-agnostic formal specification language for OCaml.☆153Updated last week
- Monitor Eio programs☆81Updated last month
- OCaml with macros☆60Updated last month
- Runtime assertion checking based on Gospel specifications☆52Updated last month
- OCaml library for reporting metrics to a Prometheus server☆54Updated last year
- Software Transactional Memory for OCaml☆133Updated 5 months ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated this week
- A pretty-printing combinator library for OCaml☆51Updated last year
- Just In Time compiler for OCaml native toplevel☆59Updated last year
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- Various signed and unsigned integers for OCaml☆85Updated 3 years ago
- C-style preprocessor for OCaml☆110Updated 3 weeks ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 6 years ago
- OCaml plus Jane Street extensions☆72Updated last year
- Minimalist OCaml library for command line parsing☆31Updated 5 years ago
- A benchmark suite for the OCaml compiler☆85Updated last year
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆71Updated last year