dckc/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 28, 2026
dckc / metamath-tools
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#12336588GitHub System ID
dckcOrganization / User
PublicVisibility
ActiveCatalog Status
More from dckc
dckc/swap
The Semantic Web Application Platform: cwm etc
dckc/swap-scala
Automatically exported from code.google.com/p/swap-scala
dckc/keepassdroid
Automatically exported from code.google.com/p/keepassdroid