codereport / CTfP-2021
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
☆132Updated 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
- ☆81Updated 6 months ago
- ☆19Updated 3 years ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆158Updated 9 months ago
- Functional teaching language for use in a discrete mathematics course☆168Updated last month
- My slides and compilation of resources.☆151Updated 6 months ago
- An automated tutorial to teach you about Haskell!☆169Updated last year
- Source material for Algebra-Driven Design☆139Updated last year
- A visual catalogue + story of morphisms displayed across computational structures.☆123Updated 2 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 3 years ago
- Challenges from Category Theory for Programmers☆122Updated 4 months ago
- SKI combinators☆54Updated 7 years ago
- A categorical programming language with effects☆274Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- Code and materials for my book "Pragmatic Type Level Design"☆124Updated 2 weeks ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- The Dao of Functional Programming☆436Updated 2 weeks ago
- The agda-unimath library☆242Updated last week
- Best practices on how to be efficient with Haskell in production☆96Updated 8 months ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆135Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated 2 months ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆213Updated 3 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆124Updated 4 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Selected Papers of Dana S. Scott☆157Updated 8 months ago
- Sample code from "Type Driven Development with Idris"☆161Updated 7 years ago