jeanqasaur / learn-programming-languages
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
☆332Updated 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.☆214Updated 5 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆214Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆157Updated 5 months ago
- ☆222Updated 3 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆129Updated 2 years ago
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆164Updated 3 years ago
- Resources for learning Category Theory for an enthusiast☆602Updated last year
- Resources for type theory, functional programming, etc.☆309Updated 3 years ago
- Tools for a compilers course☆110Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆286Updated 9 months ago
- A curated set of links to formal methods involving provable code.☆194Updated 2 years ago
- A gently curated list of companies using verification formal methods in industry☆500Updated 4 months ago
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆294Updated last year
- Proving leftpad correct two-dozen different ways☆649Updated 9 months ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆283Updated 7 months ago
- Spartan type theory☆254Updated 5 months ago
- Performance comparison of parallel ray tracing in functional programming languages☆303Updated last year
- Women in Programming Languages and Software Engineering Research☆164Updated 4 months ago
- ACT community resources☆465Updated 4 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆529Updated last month
- Web page for IU Compiler Course for Fall 2020☆131Updated 3 years ago
- 📖 source material for Thinking with Types☆477Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effects☆966Updated last week
- A book about category theory☆341Updated last week
- An introductory course to Homotopy Type Theory☆359Updated 4 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆122Updated 2 years ago
- A List of Foundational Haskell Papers☆863Updated 2 years ago
- A compiler for Standard ML, somewhat☆200Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆46Updated last week
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆115Updated 3 years ago