BekaValentine/TTInAgda
An implementation of the STLC in Agda, with raw terms, typing proofs, and indexed terms
Public GitHub Catalog
Discovered Oct 14, 2026
BekaValentine / efficient-subset-matching-with-tries
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.
#39043551GitHub System ID
BekaValentineOrganization / User
PublicVisibility
ActiveCatalog Status
More from BekaValentine
BekaValentine/FunctionsAsProofs
An approach to computing functions as proof problems.
BekaValentine/GenericEvaluators
A technique for implementing evaluators of various styles, independent of any particular lambda calculus.
BekaValentine/SimpleFP
A series of implementations of a simple functional programming language.