Alternatives and similar repositories for tiger

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

• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆68Updated 2 years ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆152Updated 2 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆153Updated last month
• m2ym / ocaml-pythonlib
  OCaml library for parsing and pretty printing Python code
  ☆38Updated 10 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆64Updated 4 years ago
• gasche / manual-ocamlbuild
  A new reference manual for the ocamlbuild tool
  ☆67Updated 9 years ago
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 6 years ago
• ocamllabs / compiler-hacking
  Wiki for compiler hacking sessions
  ☆90Updated 8 years ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated this week
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• ocaml / ocamlbuild
  The legacy OCamlbuild build manager
  ☆130Updated last month
• ocaml / oasis
  Cabal like system for OCaml
  ☆129Updated 5 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 3 years ago
• objmagic / jaw
  Code using GADT
  ☆40Updated 4 years ago
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆124Updated 3 years ago
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 5 months ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆148Updated 8 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• nojb / ocaml-gccjit
  OCaml bindings for libgccjit
  ☆28Updated 8 years ago
• stedolan / ppx_stage
  Staged metaprogramming in stock OCaml
  ☆154Updated last year
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆121Updated last month
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆51Updated 11 years ago
• steshaw / tiger-ml
  Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML
  ☆60Updated 14 years ago
• gasche / ocaml-releases-change-explanation
  A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and p…
  ☆28Updated 8 years ago
• slindley / effect-handlers
  ☆84Updated last year
• yallop / higher
  Higher-kinded programming in OCaml
  ☆189Updated last week
• agda-attic / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 7 years ago
• janestreet / sexplib
  Automated S-expression conversion
  ☆173Updated this week