Alternatives and similar repositories for hatt:

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

• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 years ago
• benjaminselfridge / propcheck
  Proof checker for propositional logic
  ☆16Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 8 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 7 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆45Updated 12 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 5 months ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆38Updated 7 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 10 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• haskell-pkg-janitors / haskell-src
  Library for manipulating Haskell source code
  ☆22Updated 7 months ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆27Updated last year
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 7 months ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 9 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago