steshaw/pi-forall
A demo implementation of a simple dependently-typed language
Public GitHub Catalog
Discovered Oct 31, 2026
steshaw / type-theory-study-group-2015
Resources for Type Theory Study Group 2015
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#44210376GitHub System ID
steshawOrganization / User
PublicVisibility
ActiveCatalog Status
More from steshaw
steshaw/pfpl
PFPL
steshaw/kaleidoscope
Haskell LLVM Kaleidoscope Tutorial
steshaw/learn-tt
A collection of resources for learning type theory.