Alternatives and similar repositories for tigerml

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

• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated 10 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
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆29Updated 7 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 weeks ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated 10 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 3 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆120Updated 2 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆77Updated 3 weeks ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• janestreet / splay_tree
  A splay tree implementation.
  ☆13Updated last month
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated last month
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆24Updated 2 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 4 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated 3 weeks ago
• kwanghoon / bidi
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Updated 3 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated 3 weeks ago
• teach-plt / plt-errata
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Updated last month
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆55Updated 2 years ago
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago