Alternatives and similar repositories for tiger

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

• nojb / ocaml-gccjit
  OCaml bindings for libgccjit
  ☆26Updated 8 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆65Updated last year
• m2ym / ocaml-pythonlib
  OCaml library for parsing and pretty printing Python code
  ☆39Updated 10 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆121Updated 3 years ago
• gasche / manual-ocamlbuild
  A new reference manual for the ocamlbuild tool
  ☆67Updated 9 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 9 months ago
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆91Updated this week
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 4 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆90Updated 6 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated 3 weeks ago
• objmagic / jaw
  Code using GADT
  ☆40Updated 4 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 4 months ago
• ocsigen / macaque
  ☆38Updated 5 years ago
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆48Updated 6 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆62Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• ocamllabs / compiler-hacking
  Wiki for compiler hacking sessions
  ☆90Updated 7 years ago
• slindley / effect-handlers
  ☆82Updated last year
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 10 years ago
• mmottl / pure-fun
  Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
  ☆149Updated 4 months ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆21Updated last week
• yallop / higher
  Higher-kinded programming in OCaml
  ☆182Updated last year
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 4 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated last week
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆73Updated 2 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆44Updated last month