Projects in Awesome Lists tagged with types-and-programming-languages
A curated list of projects in awesome lists tagged with types-and-programming-languages .
https://github.com/lazear/types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
lambda-calculus programming-languages tapl type-theory types types-and-programming-languages
Last synced: 28 Jan 2026
https://github.com/tomeraberbach/types-and-programming-languages-exercises
My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.
exercise-solutions exercises programming-languages tapl textbook type-system type-theory types-and-programming-languages
Last synced: 29 Jan 2026
https://github.com/davidelettieri/tapl
C# implementation for TAPL
csharp lambda-calculus tapl types-and-programming-languages
Last synced: 10 Oct 2025
https://github.com/jonathanstarup/flix-tapl
Implementing Types and Programming Languages by Benjamin Pierce in Flix.
flix flix-programming-language tapl types-and-programming-languages
Last synced: 11 Feb 2026
