silky/osw-material
documentation for this project (syllabus, etc.)
Public GitHub Catalog
Discovered Sep 30, 2026
silky / circuit
The Circuit
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.
#19730705GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/whereami
Where am I?
silky/open-source-at-scale
talk at budapest 2014
silky/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.