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☆36Updated 5 months ago
- ☆28Updated 6 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- OCaml/MPI interface☆27Updated 11 months ago
- OCaml library for manipulating context-free grammars☆20Updated last month
- Strongly typed multidimensional array library for OCaml☆53Updated 11 months ago
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- RPC client/server for Irmin☆19Updated 4 years ago
- ☆21Updated 7 months ago
- The core OCaml system: compilers, runtime system, base libraries☆22Updated 2 months ago
- Owl's Differential Equation Solvers☆35Updated 4 years ago
- The Ensemble distributed communications toolkit☆12Updated 5 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- Tool to generate test-cases for regular expression engines☆38Updated 2 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆37Updated last month
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 4 years ago
- Kleene algebra modulo theories☆27Updated 3 years ago
- Efficient Bloom filters for OCaml☆38Updated 4 years ago
- Make OCaml native debugging awesome☆32Updated 6 years ago
- S-expression parsing library☆36Updated last month
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 3 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 5 years ago
- Pure OCaml implementation of the D-Bus protocol☆34Updated last year
- OCaml library for partially ordered maps☆15Updated last month
- ☆49Updated 4 years ago
- C++ FFI Generator for Ocaml☆38Updated 10 months ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 11 months ago
- Binary packages for OPAM with local and remote repositories☆17Updated 3 years ago
- Minimalistic logic programming framework☆22Updated 5 years ago
- OCaml library for combinatorics☆35Updated 7 months ago