Alternatives and similar repositories for mulligan

Users that are interested in mulligan are comparing it to the libraries listed below

• verse-lab / ego
  EGraphs in OCaml
  ☆79Updated 2 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆39Updated last month
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆75Updated 2 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 8 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆31Updated last year
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated this week
• janestreet / parallel
  OxCaml Parallelism
  ☆37Updated last week
• lexa-lang / lexa
  ☆42Updated 5 months ago
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆61Updated last week
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆180Updated last week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated 3 weeks ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆152Updated last year
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆235Updated last month
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 4 years ago
• andrejbauer / faux-type-theory
  ☆46Updated 4 months ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆32Updated 2 weeks ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆187Updated 8 months ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆150Updated 4 months ago
• rami3l / PLFaLean
  Learn Lean 4 with PLFA proofs.
  ☆102Updated 9 months ago
• favonia / hdtt2020-notes
  ☆38Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆53Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 8 months ago
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆18Updated 2 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆171Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆134Updated 7 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated last month