Owl's OCaml Interface to Eigen3 C++ Library
☆33Jun 2, 2022Updated 3 years ago
Alternatives and similar repositories for eigen
Users that are interested in eigen are comparing it to the libraries listed below
Sorting:
- Numerical Optimisation Library☆17Jul 9, 2023Updated 2 years ago
- Owl's Differential Equation Solvers☆35Dec 15, 2021Updated 4 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆20Apr 11, 2022Updated 3 years ago
- OCaml bindings for PLplot☆17Jun 29, 2025Updated 8 months ago
- OCaml Ctypes stubs generation notes☆21May 1, 2019Updated 6 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- OCaml bindings for L-BFGS☆16Oct 12, 2023Updated 2 years ago
- Stream operations in the style of Core's API.☆17Feb 9, 2023Updated 3 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Use Bubblewrap to sandbox executables☆12Feb 22, 2021Updated 5 years ago
- Final Year Project - A probabilisitic programming language in OCaml☆14May 10, 2020Updated 5 years ago
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Oct 25, 2019Updated 6 years ago
- Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)☆11Oct 30, 2020Updated 5 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆16Feb 9, 2026Updated 2 weeks ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 3 months ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated last month
- Topological sort algorithm☆15Jan 15, 2026Updated last month
- OCaml bindings for xxHash, an extremely fast hash algorithm.☆13Sep 27, 2022Updated 3 years ago
- OCaml SDL2_image bindings to go with Tsdl☆14Sep 12, 2021Updated 4 years ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 2 years ago
- Medium weight threads - preemptive thread pools for Lwt☆30May 15, 2021Updated 4 years ago
- Ctypes bindings to flock(2) for OCaml☆14Mar 7, 2024Updated last year
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- OCaml ctypes bindings to llama.cpp☆15Jan 23, 2024Updated 2 years ago
- CoreFoundation bindings in OCaml☆15Jul 14, 2020Updated 5 years ago
- ☆16Jul 4, 2020Updated 5 years ago
- [wip] bindings to Dear Imgui for OCaml.☆17Jun 26, 2020Updated 5 years ago
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Jan 15, 2026Updated last month
- Look at https://github.com/anuragsoni/shuttle_http instead☆15Jan 16, 2026Updated last month
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- OCaml bindings to GObject-Introspection based on OCaml-Ctypes.☆17Mar 31, 2022Updated 3 years ago
- LP and MIP modeling in OCaml☆29Jun 24, 2025Updated 8 months ago
- Plotting for ocaml based on matplotlib.pyplot☆33Jun 19, 2022Updated 3 years ago
- Convert Verilog to a Hardcaml design☆19Jan 15, 2026Updated last month
- Convert C-code to OCaml Ctypes via Clang☆19Apr 15, 2019Updated 6 years ago
- An OCurrent pipeline for testing submissions to opam-repository☆24Jan 14, 2026Updated last month