Alternatives and similar repositories for CTfP-2021

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

• UniMath / Schools
  ☆86Updated 2 months ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆149Updated last year
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 3 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆169Updated this week
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• typeclasses / haskell-phrasebook
  The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs
  ☆217Updated 3 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.
  ☆124Updated 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.
  ☆172Updated 2 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆171Updated 2 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆371Updated 4 years ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆155Updated 2 months ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆97Updated 11 months ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆168Updated 3 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆299Updated 2 weeks ago
• awalterschulze / category-theory-for-programmers-challenges
  Challenges from Category Theory for Programmers
  ☆122Updated 7 months ago
• Mzk-Levi / texts
  ☆157Updated 10 years ago
• graninas / The-Voids-Of-Haskell
  ☆254Updated last month
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆229Updated last year
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 5 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆372Updated this week
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆346Updated 6 months ago
• statebox / idris-ct
  formally verified category theory library
  ☆263Updated 5 years ago
• sassela / haskell-learning
  Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
  ☆135Updated 4 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆382Updated last week
• lettier / parsing-with-haskell-parser-combinators
  🔍 A step-by-step guide to parsing using Haskell parser combinators.
  ☆94Updated 5 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆257Updated this week
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago