alexaltair/tcs
For explanation, see: http://lesswrong.com/lw/iwa/replicating_douglas_lenats_traveller_tcs_win_with/
Public GitHub Catalog
Discovered Sep 27, 2026
alexaltair / lambda-calculus
A lambda calculus engine.
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.
#11111593GitHub System ID
alexaltairOrganization / User
PublicVisibility
ActiveCatalog Status
More from alexaltair
alexaltair/anki
Anki for desktop computers
alexaltair/coding-challenges
Public repository.
alexaltair/studying-algorithms
Implementing the classics for personal mastery.