Alternatives and similar repositories for AoPL

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

• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• haskell / parallel
  a library for parallel programming
  ☆95Updated last month
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆315Updated 7 years ago
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆78Updated 9 months ago
• haskell / haskell-report
  Haskell Language Report
  ☆91Updated 5 years ago
• ryukinix / discrete-mathematics
  A computational way to study discrete mathematics using Haskell
  ☆73Updated 6 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• katychuang / hakyll-cssgarden
  gallery of themes for hakyll static site generator
  ☆85Updated 6 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆115Updated 4 years ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 10 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆223Updated 6 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆193Updated 7 years ago
• ekmett / parsers
  Generic parser combinators
  ☆87Updated 4 months ago
• ats-lang / ATS-CodeBook
  This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…
  ☆61Updated 4 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago
• haskell / pretty
  Haskell Pretty-printer library
  ☆73Updated 7 months ago
• aelve / guide
  A workspace for research teams
  ☆104Updated 5 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆190Updated 9 months ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆137Updated 5 years ago
• diagrams / diagrams-core
  Core types and utilities
  ☆95Updated 2 months ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 13 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated last month
• hspec / HUnit
  A unit testing framework for Haskell
  ☆130Updated 11 months ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago