janestreet / universeLinks
Jane Street universe
☆17Updated 5 years ago
Alternatives and similar repositories for universe
Users that are interested in universe are comparing it to the libraries listed below
Sorting:
- Stub code generator for OCaml/C interface☆33Updated 2 months ago
- ☆28Updated 6 years ago
- Just In Time compiler for OCaml native toplevel☆59Updated last year
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- OCaml/MPI interface☆26Updated 9 months ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- ☆21Updated 5 months ago
- RPC client/server for Irmin☆19Updated 4 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆40Updated 4 months ago
- The Ensemble distributed communications toolkit☆12Updated 5 years ago
- Tool to generate test-cases for regular expression engines☆37Updated 2 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 4 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Strongly typed multidimensional array library for OCaml☆54Updated 8 months ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- C++ FFI Generator for Ocaml☆38Updated 7 months ago
- Wiki for ocaml compiler internals☆49Updated 12 years ago
- ☆16Updated 5 years ago
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Updated 11 months ago
- Feedback-directed optimizer for OCaml☆35Updated 4 years ago
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 3 years ago
- OCaml library for manipulating context-free grammars☆20Updated 2 months ago
- ☆35Updated 3 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Agnostic benchmark in OCaml (proof-of-concept)☆44Updated last year
- An OCaml library for manipulating Labeled Transition Systems☆24Updated last year
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆15Updated 10 months ago