silky/doge2048
doge2048
Public GitHub Catalog
Discovered Sep 29, 2026
silky / quantities
Type-safe physical computations and unit conversions in Idris
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.
#15508774GitHub System ID
silkyOrganization / User
PublicVisibility
ActiveCatalog Status
More from silky
silky/arrows
A protocol based implementation of arrows
silky/travis-ci
A distributed build system for the open source community.
silky/flint
Check your project for common sources of contributor friction.