Minimum docker images for OCaml+OPAM
☆16Dec 18, 2019Updated 6 years ago
Alternatives and similar repositories for docker-ocaml
Users that are interested in docker-ocaml are comparing it to the libraries listed below
Sorting:
- Make interactive text-oriented user-interfaces for OCaml☆23Feb 5, 2020Updated 6 years ago
- ☆12Apr 22, 2016Updated 9 years ago
- Bindings to the Tracy profiler.☆32Feb 6, 2026Updated 3 weeks ago
- Binding to CRlibm☆14Jul 25, 2023Updated 2 years ago
- Literals for Zarith's arbitrary-precision integers and rationals☆12Aug 18, 2022Updated 3 years ago
- Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …☆20Apr 23, 2021Updated 4 years ago
- Hardcaml Verification Tools☆15Jan 15, 2026Updated last month
- backend of syrup: SYnthesizeR of sUPer-optimized smart contracts☆14May 14, 2020Updated 5 years ago
- Event-based simulation of elastic collisions between balls☆14May 27, 2020Updated 5 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- A 'free monad' library for OCaml☆21Jun 24, 2014Updated 11 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated last month
- Multinomials for the Mathematical Components library.☆16Updated this week
- Extra string functions for OCaml☆21Jul 5, 2025Updated 7 months ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Generate nix expressions from opam packages☆92Jan 29, 2025Updated last year
- Lazy prefix trees in OCaml☆22Jan 22, 2020Updated 6 years ago
- ☆14Aug 7, 2021Updated 4 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago
- OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.☆19Jun 27, 2022Updated 3 years ago
- ocamldoc comment syntax parser☆20Apr 30, 2020Updated 5 years ago
- ☆16Jul 4, 2020Updated 5 years ago
- Send a mail in OCaml☆17Jun 5, 2020Updated 5 years ago
- OCaml bindings to the GSL (GNU Scientific Library).☆36Nov 28, 2025Updated 3 months ago
- a mirage kernel using esy☆18Jan 20, 2021Updated 5 years ago
- JSON library for Js_of_ocaml☆16Mar 2, 2024Updated 2 years ago
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Mar 9, 2019Updated 6 years ago
- [beta] High-level wrapper around ocaml-sqlite3☆17Apr 28, 2022Updated 3 years ago
- an ocaml package to generate ULIDs☆19Jan 2, 2019Updated 7 years ago
- Web server for IOCaml☆23Jun 24, 2017Updated 8 years ago
- Owl's Parallel & Distributed Computing Engine☆29Jan 9, 2019Updated 7 years ago
- A Btree library in OCaml☆18Mar 30, 2023Updated 2 years ago
- Convert C-code to OCaml Ctypes via Clang☆19Apr 15, 2019Updated 6 years ago
- Library for writing arbitrary jupyter kernels in OCaml.☆16Apr 20, 2022Updated 3 years ago
- Universally unique identifiers (UUIDs) for OCaml☆44Jul 29, 2025Updated 7 months ago
- OCaml bindings for L-BFGS☆16Oct 12, 2023Updated 2 years ago
- Agnostic benchmark in OCaml (proof-of-concept)☆43Jun 28, 2024Updated last year
- Dockerfiles for data science in OCaml on Jupyter☆45Dec 5, 2017Updated 8 years ago