backtracking / combine
OCaml library for combinatorics
☆35Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for combine
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- ☆50Updated 3 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated last year
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated 3 months ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 years ago
- Yet another type combinator library☆54Updated 2 years ago
- Embed typed ASN.1 grammars in OCaml☆34Updated 2 months ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Updated 7 years ago
- A simple state-machine framework for OCaml based on QCheck☆65Updated 3 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Lazy prefix trees in OCaml☆23Updated 4 years ago
- Owl's Differential Equation Solvers☆34Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- a distributed computing library for OCaml☆24Updated 10 months ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 7 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 4 months ago
- OCaml bit vector library☆32Updated 3 weeks ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- unloading modules with ocaml native☆16Updated 3 years ago
- The human friendly interface to ocaml-re☆25Updated 5 years ago
- Bisector tree implementation in OCaml☆25Updated 7 months ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 years ago