Alternatives and similar repositories for category-theory-illustrated:

Users that are interested in category-theory-illustrated are comparing it to the libraries listed below

• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆615Updated last year
• BartoszMilewski / DaoFP
  The Dao of Functional Programming
  ☆313Updated last week
• tweag / awesome-learning-haskell
  A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
  ☆416Updated 2 years ago
• BartoszMilewski / Publications
  Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
  ☆1,259Updated last week
• statebox / awesome-applied-ct
  ACT community resources
  ☆465Updated 5 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆364Updated 4 years ago
• CategoricalData / CQL
  Categorical Query Language IDE
  ☆299Updated 2 weeks ago
• graninas / The-Voids-Of-Haskell
  ☆251Updated 3 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• statebox / idris-ct
  formally verified category theory library
  ☆259Updated 4 years ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆137Updated last year
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆446Updated last year
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆155Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆659Updated last month
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆175Updated 3 months ago
• saurabhkukade / Haskell_Study
  Collections of papers and books about Haskell, Type Theory and Category Theory
  ☆166Updated 3 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆313Updated 3 years ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆286Updated 5 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…
  ☆471Updated last year
• quickstrom / quickstrom
  High-confidence browser testing
  ☆380Updated 4 months ago
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆521Updated 6 years ago
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆991Updated last month
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆422Updated last week
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 7 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆204Updated 2 months ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆863Updated 2 months ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆95Updated 4 years ago
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,256Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆290Updated 11 months ago