jeanqasaur / learn-programming-languages
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
☆333Updated 4 years ago
Alternatives and similar repositories for learn-programming-languages:
Users that are interested in learn-programming-languages are comparing it to the libraries listed below
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆214Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- Resources for type theory, functional programming, etc.☆316Updated 3 years ago
- ☆227Updated 7 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…☆469Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆132Updated 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
- My slides and compilation of resources.☆151Updated 6 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- Tutorial on Multicore OCaml parallel programming with domainslib☆288Updated last year
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆170Updated 4 years ago
- A visualization of key structures in abstract algebra.☆155Updated 4 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- An interpreter for learning and exploring pure λ-calculus☆451Updated 3 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆488Updated 4 years ago
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- My personal repository of formally verified mathematics.☆295Updated this week
- A continuation of Stephen Diehl's Write You a Haskell☆159Updated 4 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆571Updated last week
- Instructions for setting up an OCaml development environment☆96Updated 5 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,005Updated last month
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆418Updated 2 years ago
- The Online Interpreter for Standard ML, written in TypeScript.☆177Updated last year
- A garden of small programming language implementations 🪴☆215Updated this week
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Resources for learning Category Theory for an enthusiast☆618Updated last year
- Domain-Specific Languages of Mathematics☆429Updated this week
- Spartan type theory☆262Updated 9 months ago