abuseofnotation / category-theory-illustratedLinks
A book about category theory
☆415Updated last month
Alternatives and similar repositories for category-theory-illustrated
Users that are interested in category-theory-illustrated are comparing it to the libraries listed below
Sorting:
- The Dao of Functional Programming☆458Updated last week
- Resources for learning Category Theory for an enthusiast☆625Updated 2 years ago
- ACT community resources☆469Updated 5 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- A List of Foundational Haskell Papers☆871Updated 6 months ago
- ☆253Updated 3 weeks ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆423Updated 2 years ago
- Domain-Specific Languages of Mathematics☆438Updated 2 months ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,277Updated 4 months ago
- An introductory course to Homotopy Type Theory☆369Updated 4 years ago
- Categorical Query Language IDE☆305Updated last week
- Source material for Algebra-Driven Design☆148Updated last year
- The Haskell Optimization Handbook☆180Updated 2 months ago
- a challenge for Haskell beginners☆454Updated last year
- ☆220Updated last month
- The collected works of F. W. Lawvere☆352Updated 9 months ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆300Updated last year
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- A ready-to-fork interpreted functional language with type inference☆403Updated this week
- papers of Per Martin Löf☆782Updated last year
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- Project: M36 Relational Algebra Engine☆931Updated last month
- Algebraic graphs☆740Updated 2 weeks ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆172Updated 2 years ago
- Simple shell like scripting from Haskell☆286Updated 9 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆508Updated 11 months ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year