Alternatives and similar repositories for the-little-typer:

Users that are interested in the-little-typer are comparing it to the libraries listed below

• awalterschulze / the-little-typer-exercises
  exercises for the book - the little typer
  ☆18Updated last month
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆28Updated 5 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated last month
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆114Updated 4 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆94Updated last month
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 8 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆120Updated 3 years ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated this week
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• adamgundry / type-inference
  Unification and type inference algorithms
  ☆125Updated 10 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• pi8027 / lambda-calculus
  A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
  ☆80Updated 4 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆29Updated 7 months ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆110Updated 4 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆45Updated 5 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 9 years ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆107Updated 2 years ago