pascalh/lambda-calculus
An implementation of untypted lambda calculus
Public GitHub Catalog
Discovered Sep 26, 2026
pascalh / SwitchBetweenSourceAndTest
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#8357534GitHub System ID
pascalhOrganization / User
PublicVisibility
ActiveCatalog Status
More from pascalh
pascalh/FixInvalidCommitDataGit
This small script changes author and commit data of your git repository, i.e. it fixes the "invalid email adress" problem when importing to github.
pascalh/modelchecking
Public repository.
pascalh/BnfcCabal
Creating cabal files for bnfc-generated modules