OCamlPro / optal
A new language for optimization
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for optal
- Owl's Differential Equation Solvers☆34Updated 2 years ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 years ago
- Multinomials for the Mathematical Components library.☆14Updated 4 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- OBSOLETE, ARCHIVED mirror of the OCaml manual☆15Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆22Updated 3 months ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- ☆16Updated 5 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 3 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated last month
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated last year
- Complete, typesafe representation of Vega-Lite in OCaml☆10Updated 7 years ago
- OCaml library for combinatorics☆35Updated 2 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- A library for Gradual Certified Programming in Coq☆9Updated 9 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- Ocaml modular spam filter☆15Updated 2 months ago
- RPC client/server for Irmin☆19Updated 3 years ago
- [@@deriving] plugin to generate Python conversion functions☆34Updated this week
- ocaml multi-armed bandit module☆18Updated 4 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- A traceable distributed computation framework☆22Updated 5 years ago
- A simple BDD library for OCaml☆13Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆22Updated this week