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
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆84Updated 8 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆119Updated 3 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆67Updated 7 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆75Updated last year
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆27Updated 3 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆80Updated 8 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 weeks ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated last month
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆45Updated 5 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆31Updated 3 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆56Updated 7 months ago
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆85Updated 2 months ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆91Updated 2 weeks ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 9 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• luc-tielen / souffle-haskell
  Haskell bindings for the Souffle datalog language
  ☆102Updated 8 months ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆104Updated 2 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 8 years ago