runarorama/lambda
Simply typed lambda calculus demo for Lambda Jam 2014
Public GitHub Catalog
Discovered Sep 26, 2026
runarorama / runarorama.github.io
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.
#5636552GitHub System ID
runaroramaOrganization / User
PublicVisibility
ActiveCatalog Status
More from runarorama
runarorama/mailsearch
A program to search with regular expressions through PST mail archives
runarorama/reducers
Semigroups, specialized containers and a general map/reduce framework
runarorama/trifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink