Alternatives and similar repositories for CTfP-2021:

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

• UniMath / Schools
  ☆81Updated 6 months ago
• codereport / Programming-Language-Meetups
  ☆19Updated 3 years ago
• willbasky / Awesome-list-of-Haskell-mentors
  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
  ☆171Updated 2 years ago
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆158Updated 9 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated last month
• soupi / rfc
  My slides and compilation of resources.
  ☆151Updated 6 months ago
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆169Updated last year
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆139Updated last year
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆123Updated 2 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 3 years ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆122Updated 4 months ago
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆274Updated 2 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆289Updated last year
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆124Updated 2 weeks ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 4 years ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆436Updated 2 weeks ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆242Updated last week
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆96Updated 8 months ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 3 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆159Updated 4 years ago
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆103Updated 3 years ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆135Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated 2 months ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆213Updated 3 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆157Updated 8 months ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆161Updated 7 years ago