mmottl / pomapLinks
OCaml library for partially ordered maps
☆15Updated last month
Alternatives and similar repositories for pomap
Users that are interested in pomap are comparing it to the libraries listed below
Sorting:
- ☆28Updated 6 years ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- multi-shot continuations in OCaml☆51Updated last month
- ☆49Updated 4 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Tools for record-and-replay debugging☆44Updated 2 years ago
- ☆21Updated 8 months ago
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- Effects-based OCaml Nameserver☆37Updated last month
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 5 months ago
- ☆20Updated last year
- LINQ-like combinators for manipulating collections of in-memory data☆16Updated 5 years ago
- B-tree (Bayer, not binary) library in OCaml☆40Updated 3 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- A scheduler independent blocking mechanism☆19Updated last year
- Pure OCaml library to read and write tar files☆55Updated 2 months ago
- OCaml hash-consing library☆53Updated last year
- How do you do that recursive GADT thing again?☆30Updated last year
- A library to write emacs plugins in OCaml☆21Updated 9 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Updated 3 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 6 years ago
- Notes and findings from our OCaml benchmarking adventures☆49Updated 3 years ago
- Collect profiling information☆18Updated 2 years ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Updated 4 years ago
- A splay tree implementation.☆14Updated this week
- Interactive memory profiler based on Memtrace☆33Updated this week
- Kleene algebra modulo theories☆27Updated 3 years ago
- Topological sort algorithm☆14Updated this week
- ☆38Updated 6 years ago