Alternatives and similar repositories for the-little-typer

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

• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆93Updated last year
• awalterschulze / the-little-typer-exercises
  exercises for the book - the little typer
  ☆21Updated 7 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆149Updated this week
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• cedille / ial
  The Iowa Agda Library
  ☆53Updated last month
• wilbowma / cur
  A less devious proof assistant
  ☆226Updated 2 years ago
• UniMath / Schools
  ☆93Updated 8 months ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Updated 5 months ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆74Updated 8 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆74Updated 7 years ago
• adamgundry / type-inference
  Unification and type inference algorithms
  ☆125Updated 10 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 3 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆176Updated 4 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆84Updated 9 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆32Updated 4 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆86Updated 4 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆120Updated 2 months ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆59Updated this week
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆204Updated 2 months ago
• luc-tielen / souffle-haskell
  Haskell bindings for the Souffle datalog language
  ☆104Updated last year
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆98Updated last month
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 6 years ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆55Updated 5 years ago