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
- OCaml hash-consing library☆51Updated last year
- 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
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- multi-shot continuations in OCaml☆48Updated 5 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- A library to write emacs plugins in OCaml☆20Updated 9 years ago
- B-tree (Bayer, not binary) library in OCaml☆39Updated 3 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated last week
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- ☆49Updated 4 years ago
- Notes and findings from our OCaml benchmarking adventures☆49Updated 2 years ago
- DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).☆23Updated 8 years ago
- An OCaml library for manipulating Labeled Transition Systems☆24Updated last year
- ☆38Updated 5 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 11 months ago
- Feedback-directed optimizer for OCaml☆36Updated 4 years ago
- Efficient binder representation in OCaml☆43Updated last year
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆68Updated last year
- ☆20Updated 2 months ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 6 months ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆45Updated 5 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆23Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆41Updated 4 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- OCaml with macros☆58Updated last month
- ☆10Updated 2 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated 2 months ago