jeanqasaur / learn-programming-languagesLinks
Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
☆334Updated 5 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
Sorting:
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆221Updated 3 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆166Updated last year
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆349Updated 9 months ago
- Tools for a compilers course☆128Updated 6 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- ☆234Updated 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
- Tutorial on Multicore OCaml parallel programming with domainslib☆293Updated last year
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆308Updated 2 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆129Updated 3 years ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆752Updated 2 months ago
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 5 years ago
- A Web Application for Learning OCaml☆322Updated 2 months ago
- A curated set of links to formal methods involving provable code.☆216Updated 4 years ago
- An interpreter for learning and exploring pure λ-calculus☆467Updated 4 years ago
- The WIP book for CPSC 411☆67Updated this week
- A Modern CompSci Curriculum☆299Updated 2 weeks ago
- ACT community resources☆470Updated 6 years ago
- My slides and compilation of resources.☆159Updated last year
- Resources for learning Category Theory for an enthusiast☆662Updated 2 years ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 5 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆61Updated 11 months ago
- A compiler for Standard ML, somewhat☆204Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 months ago
- An incremental approach to compiler construction☆84Updated 5 years ago
- Spartan type theory☆273Updated 4 months ago
- A gently curated list of companies using verification formal methods in industry☆590Updated this week