Alternatives and similar repositories for CTfP-2021

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

• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆127Updated last year
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆166Updated last year
• Mzk-Levi / texts
  ☆173Updated 11 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆662Updated 2 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆61Updated 11 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• BartoszMilewski / PolyLens
  Polynomial Lens
  ☆29Updated 3 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆273Updated 5 months ago
• IHaskell / learn-you-a-haskell-notebook
  Jupyter adaptation of Learn You a Haskell for Great Good!
  ☆308Updated 3 months ago
• thma / WhyHaskellMatters
  In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…
  ☆480Updated 2 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆159Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated 2 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆311Updated 2 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆157Updated 2 years ago
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆181Updated 2 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆503Updated 2 weeks ago
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆129Updated 3 years ago
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆219Updated 3 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆376Updated 5 years ago
• codereport / Programming-Language-Meetups
  ☆20Updated 4 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆171Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 2 months ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆173Updated 5 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆237Updated 3 months ago
• simon-frankau / mock-a-mockingbird
  My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell
  ☆38Updated 7 years ago
• graninas / The-Voids-Of-Haskell
  ☆258Updated 9 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆68Updated 2 years ago