mmottl / pomapLinks
OCaml library for partially ordered maps
☆15Updated 5 months ago
Alternatives and similar repositories for pomap
Users that are interested in pomap are comparing it to the libraries listed below
Sorting:
- ☆27Updated 6 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- OCaml hash-consing library☆51Updated last year
- multi-shot continuations in OCaml☆48Updated 4 months ago
- Feedback-directed optimizer for OCaml☆36Updated 4 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Collect profiling information☆18Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- ☆20Updated last month
- OCaml bindings to Minisat☆12Updated last year
- Extra string functions for OCaml☆21Updated 2 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- A library to write emacs plugins in OCaml☆20Updated 9 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Updated 9 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆44Updated 2 months ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 10 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 11 months ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- An MVC library for writing interactive webpages in OCaml☆35Updated 10 years ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- Helpers for using topkg with jbuilder☆16Updated 7 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- ☆10Updated last year
- Type and doc on hover for OCaml and Reason in emacs☆44Updated 2 years ago
- POSIX sendmsg bindings for OCaml☆16Updated 8 years ago
- Emacs client for statistical memory profiler☆16Updated 5 years ago