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:
- The Dao of Functional Programming☆483Updated last month
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆162Updated last year
- An automated tutorial to teach you about Haskell!☆177Updated 2 years ago
- Challenges from Category Theory for Programmers☆127Updated 11 months ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated last year
- My slides and compilation of resources.☆155Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆26Updated 6 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆124Updated 9 months ago
- Source material for Algebra-Driven Design☆152Updated last year
- Jupyter adaptation of Learn You a Haskell for Great Good!☆304Updated 4 months ago
- Solutions to LeetCode problems in C++, Python, Haskell, APL, Java, Ruby, Rust, Racket, Scala, Kotlin, C#, F#, Clojure, Elixir, Swift, Jul…☆167Updated 6 months ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- Polynomial Lens☆29Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated last week
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆478Updated last year
- Functional teaching language for use in a discrete mathematics course☆170Updated 3 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆119Updated 4 years ago
- The adventures of a Haskell compiler☆232Updated 4 months ago
- Resources for learning Category Theory for an enthusiast☆640Updated 2 years ago
- SKI combinators☆55Updated 8 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆129Updated 3 years ago
- ☆20Updated 4 years ago
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆45Updated 7 months ago
- An introductory course to Homotopy Type Theory☆373Updated 5 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Selected Papers of Dana S. Scott☆163Updated last year
- Various interesting articles, in PDF or PS form☆239Updated 12 years ago
- ☆86Updated 3 years ago
- Let's Build a Compiler (in Haskell)☆169Updated 5 years ago