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☆219Updated 2 years ago
- Resources for type theory, functional programming, etc.☆321Updated 4 years ago
- ☆233Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆135Updated 2 years 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…☆473Updated last year
- Tools for a compilers course☆125Updated 2 weeks ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas☆333Updated 3 months ago
- A gently curated list of companies using verification formal methods in industry☆559Updated 5 months ago
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆602Updated 2 months ago
- My slides and compilation of resources.☆154Updated 11 months ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆291Updated last year
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- An interpreter for learning and exploring pure λ-calculus☆464Updated 4 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆302Updated last year
- List of resources about foundational knowledge for programmers (supposed to last a few decades)☆171Updated 4 years ago
- Domain-Specific Languages of Mathematics☆441Updated 4 months ago
- A curated set of links to formal methods involving provable code.☆211Updated 3 years ago
- A Web Application for Learning OCaml☆314Updated last month
- Women in Programming Languages and Software Engineering Research☆172Updated 8 months ago
- Spartan type theory☆270Updated last year
- Study of language design and implementation.☆67Updated 4 years ago
- My personal repository of formally verified mathematics.☆303Updated last week
- Resources for learning Category Theory for an enthusiast☆632Updated 2 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆307Updated 2 years ago
- ✨ A curated list of useful resources for computer language engineering and theory☆263Updated 7 years ago
- Proving leftpad correct two-dozen different ways☆685Updated 3 months ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 5 months ago
- An introductory course to Homotopy Type Theory☆373Updated 5 years ago