backtracking / combine
OCaml library for combinatorics
☆35Updated last week
Related projects: ⓘ
- Embed typed ASN.1 grammars in OCaml☆35Updated 2 weeks ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- Bisector tree implementation in OCaml☆25Updated 5 months ago
- Ropes ("heavyweight strings") for OCaml☆49Updated last month
- Infrastructure to collect metrics from OCaml applications.☆46Updated last year
- Tool to convert OASIS metadata to OPAM package descriptions☆27Updated 6 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆38Updated 2 months ago
- Algorithms to layout trees in a pretty manner.☆37Updated 2 years ago
- String searching with errors, using the Wu-Manber algorithm☆24Updated last year
- Bindings to the various POSIX APIs☆27Updated last year
- A platform-agnostic multi-level index☆34Updated 3 months ago
- Yet another type combinator library☆54Updated 2 years ago
- RPC client/server for Irmin☆20Updated 3 years ago
- ☆52Updated 3 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated last year
- OCaml bit vector library☆33Updated 4 months ago
- a distributed computing library for OCaml☆25Updated 8 months ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Updated 3 years ago
- Owl's Differential Equation Solvers☆34Updated 2 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆17Updated 3 years ago
- Ocaml bindings for lmdb.☆48Updated last year
- Various signed and unsigned integer types for OCaml☆62Updated 11 months ago
- The Ray Tracer Challenge book solutions in Ocaml☆12Updated 3 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- The Ensemble distributed communications toolkit☆13Updated 4 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago