fpottier / mpri-2.4-projet-2022-2023
A programming project on automatic differentiation in OCaml
☆11Updated 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
- EGraphs in OCaml☆65Updated last year
- OCaml Bindings to MLIR☆15Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Owl's Differential Equation Solvers☆34Updated 3 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- Experimental functional language☆17Updated 2 years ago
- Plotting for ocaml based on matplotlib.pyplot☆33Updated 2 years ago
- Strongly typed multidimensional array library for OCaml☆52Updated last month
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Updated 4 years ago
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- Streaming client for OCaml's Memprof☆65Updated 5 months ago
- Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library☆23Updated 3 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- A repository of MetaOCaml packages☆12Updated last year
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 3 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- 🩺 A library for compiler diagnostics☆38Updated 3 weeks ago
- embedding MLIR in LEAN☆47Updated 8 months ago
- scikit-learn for OCaml☆34Updated 4 years ago
- A verified compiler for a lazy functional language☆34Updated 2 weeks ago
- A Deductive Verification Tool for OCaml Programs☆67Updated 3 weeks ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated last month
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 3 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated last week
- LP and MIP modeling in OCaml☆28Updated this week
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago