codereport / CTfP-2021Links
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
☆137Updated 3 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:
- Challenges from Category Theory for Programmers☆127Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- My slides and compilation of resources.☆157Updated last year
- An automated tutorial to teach you about Haskell!☆179Updated 2 years ago
- ☆20Updated 4 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆129Updated 3 years ago
- The Dao of Functional Programming☆494Updated 3 weeks ago
- ☆166Updated 10 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆164Updated last year
- Spartan type theory☆273Updated 3 months ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆148Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- Source material for Algebra-Driven Design☆156Updated 2 years ago
- Functional teaching language for use in a discrete mathematics course☆176Updated 2 weeks ago
- Resources for learning Category Theory for an enthusiast☆654Updated 2 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆132Updated 5 months ago
- ☆93Updated 8 months ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆219Updated 3 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆37Updated 7 years ago
- Jupyter adaptation of Learn You a Haskell for Great Good!☆308Updated last month
- ☆90Updated 3 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆29Updated 8 months ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆49Updated 10 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated last year
- SKI combinators☆56Updated 8 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago