Explore Projects
Discover 1 open source projects
Showing 1-1 of 1 projects
steshaw/plt
A library for exploring programming language theory, with a focus on lambda calculus and type theory.
5.3K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.