silky/Haskell-Morte-Library
A bare-bones calculus-of-constructions
Public GitHub Catalog
Discovered Oct 6, 2026
silky / new_time_pi
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.
#31844903GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
silky/predictionbook
Find out just how sure you should be, and get better at being only as sure as the facts justify.
silky/provability
Public repository.