komamitsu / oraft
Library of Raft consensus algorithm implemented in OCaml
☆29Updated last year
Related projects: ⓘ
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Asynchronous effect based IO☆33Updated 3 years ago
- Implementation of the Raft protocol in OCaml☆20Updated 7 years ago
- A pretty-printing combinator library for OCaml☆47Updated last month
- Bindings to io_uring for OCaml☆62Updated 4 months ago
- A splay tree implementation.☆13Updated 3 weeks ago
- Just In Time compiler for OCaml native toplevel☆55Updated 8 months ago
- Property-based testing at ease☆43Updated 3 years ago
- Streaming client for OCaml's Memprof☆62Updated 2 weeks ago
- Multiparty Session Types in OCaml☆56Updated 2 weeks ago
- Simple hash algorithms in OCaml☆87Updated 5 months ago
- Tools for record-and-replay debugging☆43Updated last year
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- ☆27Updated 5 years ago
- OCaml with typed algebraic effects☆48Updated 5 years ago
- A Deductive Verification Tool for OCaml Programs☆58Updated 2 months ago
- A library that makes it nicer to work with nested functional data structures☆53Updated 3 weeks ago
- Standard IO Library for OCaml☆37Updated 3 weeks ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Software Transactional Memory for OCaml☆107Updated this week
- Generation of S-expression conversion functions from type definitions☆88Updated 3 weeks ago
- Raft consensus algorithm implementation☆33Updated 4 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆54Updated last week
- OCaml plus Jane Street extensions☆73Updated 2 months ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Updated 3 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated last year
- Runtime assertion checking based on Gospel specifications☆37Updated 2 weeks ago