fpottier / mpri-2.4-projet-2022-2023
A programming project on automatic differentiation in OCaml
☆12Updated 2 years ago
Alternatives and similar repositories for mpri-2.4-projet-2022-2023
Users that are interested in mpri-2.4-projet-2022-2023 are comparing it to the libraries listed below
Sorting:
- ☆120Updated last week
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆19Updated 5 years ago
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 2 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- A synchronous language with ODEs☆51Updated this week
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- EGraphs in OCaml☆65Updated last year
- Tiny verified SAT-solver☆27Updated 3 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- embedding MLIR in LEAN☆47Updated 11 months ago
- Experimental model checker for testing concurrent algorithms☆36Updated 5 months ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- ☆43Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆51Updated 9 months ago
- LVC verified compiler☆57Updated 6 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆35Updated last week
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- A cyclic theorem prover framework.☆32Updated 3 weeks ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated this week
- sketches for egg: a flexible, high-performance e-graph library☆27Updated last month
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- 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…☆40Updated 10 months ago
- A small library to output memory graph for ocaml values☆37Updated 10 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆40Updated last month