Alternatives and similar repositories for tigerml:

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

• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated 8 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 8 months ago
• samarthkishor / crafting-interpreters
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Updated 5 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 2 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆44Updated 2 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• dbp / howtoproveacompiler
  Writeup that goes along with this:
  ☆40Updated 7 years ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated last year
• modular-macros / ocaml-macros
  OCaml with macros
  ☆57Updated last week
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last month
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 8 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆35Updated this week
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆25Updated 2 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆35Updated last week
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆25Updated last year
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆72Updated 6 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆28Updated last year