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

• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆15Updated 4 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆14Updated 4 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• acorrenson / SATurne
  Tiny verified SAT-solver
  ☆27Updated 3 years ago
• INRIA / zelus
  A synchronous language with ODEs
  ☆50Updated last week
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• LaurentMazare / ocaml-bert
  Transformer-based models for Natural Language Processing in OCaml
  ☆24Updated 3 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆33Updated 2 years ago
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆80Updated this week
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated 2 months ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆52Updated 2 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆37Updated 9 months ago
• hesterjeng / longleaf
  OCaml Algorithmic Trading
  ☆16Updated this week
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆14Updated 6 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 4 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated 3 weeks ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated 2 years ago
• akabe / ocaml-numerical-analysis
  Stand-alone programs for numerical analysis in OCaml
  ☆47Updated 9 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated this week