silky/whatever
All pull requests will be accepted. Let's see where it goes!
Public GitHub Catalog
Discovered Oct 1, 2026
silky / isabelle
working directory for Isabelle proof scripts
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.
#20247410GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/RiftSketch
An HTML5 live-coding environment for the Oculus Rift
silky/lmfdb
L-Functions and Modular Forms Database
silky/SexMonad.github.io
Sex Monad website.