Projects in Awesome Lists tagged with programming-languages-theory
A curated list of projects in awesome lists tagged with programming-languages-theory .
https://github.com/rylanschaeffer/stanford-cs-242-programming-languages
Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
programming-languages programming-languages-theory stanford stanford-university
Last synced: 13 Apr 2025
https://github.com/grindelfp/pltmt-tasks
Task on my Programming languages&translation methods theory uni course.
programming-languages-theory python translation-methods
Last synced: 21 Feb 2025
https://github.com/iagoleal/plfa-exercises
Answers to the exercises on the book Programming Language Foundations in Agda
agda dependent-types plfa programming-languages-theory
Last synced: 25 Aug 2025
