prathyvsh / category-theory-resources
Resources for learning Category Theory for an enthusiast
☆621Updated last year
Alternatives and similar repositories for category-theory-resources:
Users that are interested in category-theory-resources are comparing it to the libraries listed below
- A book about category theory☆409Updated last month
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- The Dao of Functional Programming☆441Updated this week
- ACT community resources☆468Updated 5 years ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,273Updated 2 months ago
- papers of Per Martin Löf☆773Updated last year
- An opinionated list of resources for learning Haskell☆898Updated 3 years ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆418Updated 2 years ago
- The collected works of F. W. Lawvere☆341Updated 6 months ago
- A List of Foundational Haskell Papers☆865Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆629Updated last year
- List of resources for learning Category Theory☆250Updated 4 months ago
- A little course to learn about some of the more obscure GHC extensions.☆647Updated last year
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,096Updated 3 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,259Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,008Updated last week
- Fork of the original Data61 course to be more Stack friendly☆446Updated 3 years ago
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- An introduction to programming language theory in Agda☆1,415Updated this week
- Resources for type theory, functional programming, etc.☆318Updated 4 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆768Updated this week
- ☆250Updated 6 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆366Updated this week
- A new Categories library for Agda☆374Updated 2 weeks ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆413Updated this week
- 𝛌 Awesome Idris resources☆399Updated 5 years ago
- HoTTEST Summer School materials☆296Updated last year
- formally verified category theory library☆262Updated 4 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago