Alternatives and similar repositories for AoPL:

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

• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 5 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• haskell / parallel
  a library for parallel programming
  ☆94Updated 3 months ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆221Updated 2 months ago
• aelve / guide
  A workspace for research teams
  ☆105Updated 5 years ago
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆75Updated 4 months ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 5 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 8 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆76Updated last year
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆113Updated 3 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆79Updated 3 years ago
• unnohideyuki / Tiger-in-Haskell
  "Modern compiler implementation" in Haskell!
  ☆26Updated 10 years ago
• ghulette / haskell-parser-examples
  Examples of a simple parser written in both Parsec and Happy/Alex
  ☆51Updated 9 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 6 years ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆197Updated last year
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆101Updated 8 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 9 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 3 months ago
• haskell / primitive
  This package provides various primitive memory-related operations.
  ☆115Updated 3 months ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆80Updated 8 years ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆37Updated 11 years ago
• haskellweekly / haskellweekly.github.io
  A free weekly newsletter about the Haskell programming language.
  ☆89Updated 5 years ago
• zfoh / haskell-beginners-projects
  A couple of Haskell beginner projects, for ZuriHac 2016
  ☆44Updated 6 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆163Updated 3 years ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆107Updated 2 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 7 years ago