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

• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• google / mlir-hs
  Haskell bindings for MLIR
  ☆117Updated last week
• janestreet / torch
  ☆143Updated 3 weeks ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆77Updated last year
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆38Updated 2 weeks ago
• INRIA / zelus
  A synchronous language with ODEs
  ☆56Updated last week
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated 3 weeks ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• UCSD-PL / proverbot9001
  ☆43Updated 3 weeks ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated 2 years ago
• 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
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆52Updated 4 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆25Updated 2 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated last month
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 2 years ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆77Updated last year
• leanprover / fp-lean
  Functional Programming in Lean
  ☆125Updated last month
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆25Updated 10 months ago
• tachukao / ocaml-mlir
  OCaml Bindings to MLIR
  ☆15Updated 5 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104Updated 7 months ago
• AD1024 / dtlc
  Dependently typed lambda calculus - A Simple Proof Assistant
  ☆12Updated 5 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆31Updated 3 months ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆61Updated 4 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆30Updated 2 months ago