mmottl / pomapLinks
OCaml library for partially ordered maps
☆15Updated 2 months ago
Alternatives and similar repositories for pomap
Users that are interested in pomap are comparing it to the libraries listed below
Sorting:
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- ☆28Updated 6 years ago
- ☆49Updated 4 years ago
- multi-shot continuations in OCaml☆51Updated 2 months ago
- A scheduler independent blocking mechanism☆19Updated last year
- Tools for record-and-replay debugging☆44Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- OCaml hash-consing library☆53Updated 2 years ago
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆71Updated this week
- Choice operator in OCaml, providing a backtracking monad☆26Updated 4 years ago
- Interactive memory profiler based on Memtrace☆33Updated 3 weeks ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- A library of splittable pseudo-random number generators for OCaml☆35Updated last year
- Feedback-directed optimizer for OCaml☆35Updated 4 years ago
- OCaml library for combinatorics☆35Updated 8 months ago
- A higher-level httpaf server interface☆12Updated 5 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 5 years ago
- The official LLVM OCaml binding but built using dune☆25Updated last year
- Efficient binder representation in OCaml☆43Updated last year
- Collect profiling information☆18Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- Performance Application Programming Interface for OCaml☆16Updated 3 years ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Updated 4 years ago
- Kleene algebra modulo theories☆27Updated 3 years ago
- Notes and findings from our OCaml benchmarking adventures☆49Updated 3 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 6 months ago
- Implementation of maps of integers with Patricia trees☆22Updated 5 years ago
- Medium weight threads - preemptive thread pools for Lwt☆30Updated 4 years ago
- Generation of comparison functions from types☆29Updated 3 weeks ago