BekaValentine/SimpleFP-v2
A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
Public GitHub Catalog
Discovered Oct 3, 2026
BekaValentine / so-you-want-to-write-a-type-checker
Public repository discovered through GitHub real-time crawl.
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.
#28423748GitHub System ID
BekaValentineOrganization / User
PublicVisibility
ActiveCatalog Status
More from BekaValentine
BekaValentine/Language-Engine-API-v2
The new version of Language Engine using the SimpleFP language as the basis.
BekaValentine/TTInAgda
An implementation of the STLC in Agda, with raw terms, typing proofs, and indexed terms
BekaValentine/FunctionsAsProofs
An approach to computing functions as proof problems.