silky/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Public GitHub Catalog
Discovered Sep 30, 2026
silky / OpenRelativity
An open source framework to add the effects of traveling at relativistic speeds to visualizations or games
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.
#18837443GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/theopenbudget
TheOpenBudget.org
silky/OpenScienceWorkshops.github.io
OpenScienceWorkshops website.
silky/gitric
Simple git-based deployment for fabric