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

• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆75Updated this week
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆31Updated 2 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 3 years ago
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• ArulselvanMadhavan / mini_dalle
  mini-dalle in OCaml
  ☆38Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆63Updated last year
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆14Updated 4 years ago
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆14Updated 2 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆15Updated 6 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆27Updated last week
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• janestreet / torch
  ☆111Updated 2 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆52Updated this week
• tlringer / proof-demos
  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
• janestreet / ppx_python
  [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 2 months ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated last year
• acorrenson / SATurne
  Tiny verified SAT-solver
  ☆27Updated 3 years ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆32Updated 4 months ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated this week
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆67Updated 7 months ago
• opencompl / egg-tactic-code
  ☆14Updated last year
• coq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 3 months ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆51Updated last year
• ocamllibs / ocaml-in-python
  Effortless Python bindings for OCaml modules
  ☆51Updated 2 years ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆15Updated 9 months ago