komamitsu / oraft
Library of Raft consensus algorithm implemented in OCaml
☆30Updated last year
Alternatives and similar repositories for oraft:
Users that are interested in oraft are comparing it to the libraries listed below
- Implementation of the Raft protocol in OCaml☆20Updated 8 years ago
- Experimental model checker for testing concurrent algorithms☆33Updated 3 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- multi-shot continuations in OCaml☆48Updated last month
- Streaming client for OCaml's Memprof☆67Updated 6 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Bindings to io_uring for OCaml☆61Updated 10 months ago
- Raft consensus algorithm implementation☆32Updated 4 years ago
- Asynchronous effect based IO☆32Updated 3 years ago
- Functional Priority Search Queues for OCaml☆53Updated 11 months ago
- Monitor Eio programs☆78Updated last year
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- Simple hash algorithms in OCaml☆89Updated 2 months ago
- Software Transactional Memory for OCaml☆117Updated 2 months ago
- A B-Tree implementation in OCaml☆23Updated 8 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- ☆13Updated 2 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆57Updated last week
- Yet another type combinator library☆54Updated 3 years ago
- Multiparty Session Types in OCaml☆59Updated 4 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 8 months ago
- A small library to output memory graph for ocaml values☆37Updated 9 months ago
- ☆27Updated 5 years ago
- OCaml with macros☆57Updated 2 months ago
- ☆50Updated 7 months ago
- A pretty-printing combinator library for OCaml☆49Updated 7 months ago
- Runtime types for OCaml (beta version)☆24Updated 4 months ago
- Documentation of the OCaml implementation☆53Updated 2 years ago
- OCaml syntax extension for quoting code☆26Updated 2 years ago
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago