fpottier / mpri-2.4-projet-2022-2023Links
A programming project on automatic differentiation in OCaml
☆11Updated 3 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:
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- embedding MLIR in LEAN☆48Updated last year
- ☆148Updated last week
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Updated 4 years ago
- Bonn Lean course for winter 24/25☆40Updated 2 weeks ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 3 months ago
- An LLVM interface for Lean 4. (WIP)☆26Updated 2 years ago
- EGraphs in OCaml☆79Updated 2 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 2 years ago
- The Next Generation of Compositional Programming☆56Updated 3 weeks ago
- Certified Machine Learning☆41Updated 4 years ago
- An algebra system written in OCaml☆10Updated 10 years ago
- Theorem proving in Lean☆49Updated last year
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- How to read Lean☆22Updated 11 months ago
- ☆16Updated 2 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated last month
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 8 months ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆20Updated 8 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- LLVM support for the lean theorem prover☆53Updated 4 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 3 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Kleene algebra modulo theories☆27Updated 3 years ago
- An encyclopedia of proofs☆64Updated last year
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated last year
- Owl's Differential Equation Solvers☆35Updated 4 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆59Updated last week