Alternatives and similar repositories for hatt

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

• benjaminselfridge / propcheck
  Proof checker for propositional logic
  ☆16Updated 7 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 9 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 7 months ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• mainland / language-c-quote
  ☆58Updated 11 months ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆25Updated 5 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated 2 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 10 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 12 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 13 years ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated this week
• haskell-pkg-janitors / haskell-src
  Library for manipulating Haskell source code
  ☆22Updated 3 weeks ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆38Updated 11 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago