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:
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆165Updated last year
- An automated tutorial to teach you about Haskell!☆181Updated 2 years ago
- Challenges from Category Theory for Programmers☆127Updated last year
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆149Updated 2 years ago
- My slides and compilation of resources.☆157Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆29Updated 9 months ago
- ☆169Updated 10 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆131Updated last year
- The Dao of Functional Programming☆499Updated 2 weeks ago
- ☆20Updated 4 years ago
- Let's Build a Compiler (in Haskell)☆173Updated 5 years ago
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆211Updated 11 months ago
- Solutions to LeetCode problems in C++, Python, Haskell, APL, Java, Ruby, Rust, Racket, Scala, Kotlin, C#, F#, Clojure, Elixir, Swift, Jul…☆168Updated 9 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- The adventures of a Haskell compiler☆237Updated 2 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Updated last year
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆480Updated 2 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 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☆157Updated 2 years ago
- Resources for learning Category Theory for an enthusiast☆659Updated 2 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- Selected Papers of Dana S. Scott☆170Updated last year
- HoTTEST Summer School materials☆320Updated 7 months ago
- An introductory course to Homotopy Type Theory☆374Updated 5 years ago
- Jupyter adaptation of Learn You a Haskell for Great Good!☆308Updated 2 months ago
- ☆94Updated 8 months ago
- Spartan type theory☆273Updated 4 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Updated 4 years ago