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 OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- Numerical Optimisation Library☆16Updated last year
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 4 months ago
- ocaml multi-armed bandit module☆19Updated 4 years ago
- A simple BDD library for OCaml☆13Updated 2 weeks ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 7 months ago
- RPC client/server for Irmin☆19Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 4 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 7 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- A repository of MetaOCaml packages☆12Updated 2 weeks ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated 11 months ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- Collection of clustering algorithms written in Ocaml☆19Updated 16 years ago
- ☆16Updated 6 years ago
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- OCaml library for combinatorics☆35Updated last week
- Infrastructure to collect metrics from OCaml applications.☆45Updated 2 months ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆31Updated 3 months ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Calculus of Constructions Implementation☆15Updated 5 years ago
- Formalising session types in Coq☆17Updated 5 years ago