dckc/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 6, 2026
dckc / swap
The Semantic Web Application Platform: cwm etc
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.
#33343540GitHub System ID
dckcOrganization / User
PublicVisibility
ActiveCatalog Status
More from dckc
dckc/swap-scala
Automatically exported from code.google.com/p/swap-scala
dckc/keepassdroid
Automatically exported from code.google.com/p/keepassdroid
dckc/deleg8
a Chrome Extension to delegate session access