fpottier / mpri-2.4-projet-2022-2023

Related projects ⓘ

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

• janestreet / torch
  ☆99Updated 2 months ago
• LaurentMazare / ocaml-matplotlib
  Plotting for ocaml based on matplotlib.pyplot
  ☆30Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 9 months ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆26Updated last year
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 2 years ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated 10 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• ahrefs / ocannl
  OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
  ☆67Updated this week
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆13Updated last month
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆30Updated 3 years ago
• adrieng / pulsar
  Experimental functional language
  ☆18Updated 2 years ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆60Updated 4 months ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• ArulselvanMadhavan / mini_dalle
  mini-dalle in OCaml
  ☆38Updated 2 years ago
• coq / ceps
  Coq Enhancement Proposals
  ☆45Updated this week
• 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 last month
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆109Updated this week
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆37Updated last year
• backtracking / program-proofs-with-why3
  Some programs from Rustan Leino's "Program Proofs", in Why3.
  ☆14Updated last year
• 01mf02 / kontroli-rs
  Alternative implementation of the logical framework Dedukti in Rust
  ☆20Updated 6 months ago
• arthuraa / extructures
  Finite sets and maps for Coq with extensional equality
  ☆29Updated last year
• lambda-11235 / ttyped
  A simple dependently typed language based on the Calculus of Constructions.
  ☆15Updated 4 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated this week
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆35Updated 4 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆38Updated 3 weeks ago