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

• janestreet / torch
  ☆126Updated 2 months ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆42Updated 4 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 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
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆33Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• hipsleek / Heifer
  Verifier for effectful, higher-order programs
  ☆17Updated this week
• ocamllabs / ocaml-internals
  Wiki for ocaml compiler internals
  ☆48Updated 12 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆58Updated last year
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• INRIA / zelus
  A synchronous language with ODEs
  ☆51Updated this week
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• jackpeck / llama2.ml
  Llama2 inference in one file of pure OCaml.
  ☆27Updated last year
• ocamllibs / ocaml-in-python
  Effortless Python bindings for OCaml modules
  ☆56Updated this week
• Arnhav-Datar / EffPPL
  Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
  ☆23Updated 3 years ago
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 4 years ago
• LaurentMazare / ocaml-bert
  Transformer-based models for Natural Language Processing in OCaml
  ☆24Updated 4 years ago
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆43Updated last year
• janestreet / tracing
  Tracing library
  ☆33Updated 2 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• LaurentMazare / ocaml-rust
  Safe OCaml-Rust Foreign Function Interface
  ☆39Updated 2 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆20Updated 3 years ago
• BinaryAnalysisPlatform / FrontC
  An OCaml library providing a C parser and lexer
  ☆42Updated 9 months ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 8 months ago