fpottier / mpri-2.4-projet-2022-2023Links
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:
- ☆134Updated 3 weeks ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- EGraphs in OCaml☆74Updated last year
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Verifier for effectful, higher-order programs☆17Updated 2 weeks ago
- A synchronous language with ODEs☆53Updated this week
- Bonn Lean course for winter 24/25☆36Updated 2 weeks ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- OCaml Bindings to MLIR☆15Updated 4 years ago
- S-expression parsing and writing in Rust☆18Updated 2 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 3 months ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Wiki for ocaml compiler internals☆49Updated 12 years ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 4 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆20Updated 3 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Certified Machine Learning☆41Updated 4 years ago
- embedding MLIR in LEAN☆47Updated last year
- A Deductive Verification Tool for OCaml Programs☆75Updated last month
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Updated 8 years ago
- Tool for suggesting lemma names in Coq verification projects☆21Updated 3 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 3 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago