jeanqasaur / learn-programming-languages
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
☆331Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for learn-programming-languages
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆213Updated 5 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆215Updated last year
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 3 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆129Updated 2 years ago
- ☆223Updated 3 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆296Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆157Updated 5 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 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…☆467Updated 11 months ago
- Spartan type theory☆257Updated 5 months ago
- My slides and compilation of resources.☆148Updated 2 months ago
- Performance comparison of parallel ray tracing in functional programming languages☆304Updated last year
- A visualization of key structures in abstract algebra.☆154Updated 4 years ago
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- A gently curated list of companies using verification formal methods in industry☆503Updated 4 months ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆164Updated 3 years ago
- A curated set of links to formal methods involving provable code.☆195Updated 2 years ago
- ACT community resources☆465Updated 4 years ago
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆488Updated 3 years ago
- Tools for a compilers course☆110Updated 4 months ago
- My personal repository of formally verified mathematics.☆291Updated 3 weeks ago
- An introductory course to Homotopy Type Theory☆360Updated 4 years ago
- Proving leftpad correct two-dozen different ways☆650Updated this week
- Web page for IU Compiler Course for Fall 2020☆130Updated 3 years ago
- Program Synthesis Course☆247Updated 8 months ago
- Women in Programming Languages and Software Engineering Research☆166Updated last week
- An interpreter for learning and exploring pure λ-calculus☆449Updated 3 years ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆412Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆47Updated this week
- Domain-Specific Languages of Mathematics☆420Updated last week