BekaValentine/Language-Engine-API-v2
The new version of Language Engine using the SimpleFP language as the basis.
Public GitHub Catalog
Discovered Nov 2, 2026
BekaValentine / SimpleFP-v2
A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
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.
#49080654GitHub System ID
BekaValentineOrganization / User
PublicVisibility
ActiveCatalog Status
More from BekaValentine
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.
BekaValentine/GenericEvaluators
A technique for implementing evaluators of various styles, independent of any particular lambda calculus.