BekaValentine/FunctionsAsProofs
An approach to computing functions as proof problems.
Public GitHub Catalog
Discovered Oct 28, 2026
BekaValentine / TTInAgda
An implementation of the STLC in Agda, with raw terms, typing proofs, and indexed terms
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.
#43525237GitHub System ID
BekaValentineOrganization / User
PublicVisibility
ActiveCatalog Status
More from BekaValentine
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.
BekaValentine/efficient-subset-matching-with-tries
Public repository.