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
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated last year
• 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
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 6 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆79Updated 2 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• diku-dk / sml-server
  Web server infrastructure for Standard ML
  ☆13Updated last year
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆66Updated 3 months ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆102Updated 2 months ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 8 years ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated last year
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 3 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆150Updated 3 weeks ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆206Updated last year
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆128Updated last month
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆27Updated 2 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆109Updated 10 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 2 months ago
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆111Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 7 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 7 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated last year