fpottier / mpri-2.4-projet-2022-2023

Related projects ⓘ

Alternatives and complementary repositories for mpri-2.4-projet-2022-2023

• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆13Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• janestreet / torch
  ☆101Updated this week
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆31Updated 2 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆67Updated this week
• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 10 months ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆14Updated 2 months ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 2 years ago
• acorrenson / SATurne
  Tiny verified SAT-solver
  ☆28Updated 2 years ago
• ybertot / plugin_tutorials
  A collection of small projects to illustrate how to write plugins for Coq
  ☆21Updated 5 years ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 7 years ago
• janestreet / ppx_python
  [@@deriving] plugin to generate Python conversion functions
  ☆34Updated this week
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆60Updated 5 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 5 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆32Updated last month
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated 10 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 4 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆71Updated 6 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated last year
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆32Updated 2 months ago
• opencompl / egg-tactic-code
  ☆13Updated last year
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated last month
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆79Updated this week
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• Arnhav-Datar / EffPPL
  Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
  ☆23Updated 2 years ago