codereport / CTfP-2021Links
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
☆136Updated 2 years ago
Alternatives and similar repositories for CTfP-2021
Users that are interested in CTfP-2021 are comparing it to the libraries listed below
Sorting:
- My slides and compilation of resources.☆155Updated last year
- Challenges from Category Theory for Programmers☆127Updated 10 months ago
- ☆160Updated 10 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- The Dao of Functional Programming☆479Updated last month
- Source material for Algebra-Driven Design☆152Updated last year
- An automated tutorial to teach you about Haskell!☆177Updated 2 years ago
- Jupyter adaptation of Learn You a Haskell for Great Good!☆303Updated 4 months ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆122Updated 8 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆118Updated 4 years ago
- An introductory course to Homotopy Type Theory☆372Updated 5 years ago
- ☆88Updated 4 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated last month
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆305Updated last year
- Play/learn/work with me☆109Updated this week
- Spartan type theory☆271Updated last week
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆178Updated 3 years ago
- An introduction to the Lambda Calculus☆92Updated 3 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Polynomial Lens☆29Updated 2 years ago
- Functional teaching language for use in a discrete mathematics course☆170Updated 2 months ago
- The adventures of a Haskell compiler☆231Updated 4 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- Selected Papers of Dana S. Scott☆162Updated last year
- HoTTEST Summer School materials☆311Updated 3 months ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆479Updated last year
- A visual catalogue + story of morphisms displayed across computational structures.☆126Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆125Updated 7 months ago