Alternatives and similar repositories for CTfP-2021

Users that are interested in CTfP-2021 are comparing it to the libraries listed below

• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆172Updated 2 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆153Updated 9 months ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆123Updated 3 years ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆457Updated this week
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆146Updated last year
• UniMath / Schools
  ☆85Updated last month
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆122Updated 7 months ago
• codereport / FM2GP-2025
  Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming
  ☆24Updated 2 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆169Updated last month
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆369Updated 4 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆163Updated 7 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 4 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated 11 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆116Updated 5 months ago
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆171Updated 2 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆299Updated last year
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated 2 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆131Updated last month
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 5 years ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆180Updated 2 months ago
• andys8 / awesome-haskell-videos
  A collection of awesome Haskell videos. Inspired by awesome projects line.
  ☆44Updated last year
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 3 weeks ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆154Updated last month
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆157Updated last year
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆94Updated 5 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆115Updated 4 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆164Updated 3 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆215Updated 3 years ago
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆97Updated 11 months ago