silky/Haskell-Morte-Library
A bare-bones calculus-of-constructions
Public GitHub Catalog
Discovered Sep 30, 2026
silky / travis-ci
A distributed build system for the open source community.
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.
#18054310GitHub 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.