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:
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 3 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆53Updated 10 months ago
- EGraphs in OCaml☆65Updated last year
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- A synchronous language with ODEs☆51Updated this week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆35Updated 3 weeks ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆25Updated 5 months ago
- embedding MLIR in LEAN☆47Updated last year
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- ☆19Updated 2 years ago
- OCaml Bindings to MLIR☆15Updated 4 years ago
- Git repository for the course Logika v računalništvu☆12Updated 3 years ago
- Experimental functional language☆17Updated 3 years ago
- Implementation of the Mask R-CNN model using OCaml's numerical library Owl.☆19Updated 5 years ago
- ☆121Updated 2 weeks ago
- Alternative implementation of the logical framework Dedukti in Rust☆21Updated 2 months ago
- Formalization of Wigderson's graph coloring algorithm in Coq☆9Updated last year
- A deterministic parser with fused lexing☆73Updated last year
- 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
- A (formalised) general definition of type theories☆57Updated 4 years ago
- ☆16Updated last year
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆36Updated 3 weeks ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 4 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago