OCamlPro / optalLinks
A new language for optimization
☆13Updated 4 years ago
Alternatives and similar repositories for optal
Users that are interested in optal are comparing it to the libraries listed below
Sorting:
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- A simple BDD library for OCaml☆13Updated 4 months ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated last year
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 4 years ago
- Prototype code for some Julia-OCaml bindings☆16Updated 4 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 9 months ago
- Multinomials for the Mathematical Components library.☆15Updated this week
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- A Constraint Solver☆12Updated 9 years ago
- ☆14Updated 7 months ago
- Minimal support for Canonical S-expressions☆28Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Numerical Optimisation Library☆17Updated 2 years ago
- Verifier for effectful, higher-order programs☆17Updated last week
- An interval library for OCaml☆16Updated 2 years ago
- Stand-alone programs for numerical analysis in OCaml☆47Updated 10 years ago
- An OCaml interface to the Sundials suite of numeric solvers.☆26Updated last week
- ☆16Updated 6 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- OCaml library for combinatorics☆35Updated 3 months ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 4 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆43Updated last year
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 3 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated 2 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 4 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- An OCaml clustering library☆20Updated 4 years ago
- A scheduler independent blocking mechanism☆19Updated last year