arey0pushpa/dushbag
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
arey0pushpa / Dependent-Type-Programming-
Dependnet Typed programming using 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.
#26873609GitHub System ID
arey0pushpaOrganization / User
PublicVisibility
ActiveCatalog Status
More from arey0pushpa
arey0pushpa/syntastic
Syntax checking hacks for vim
arey0pushpa/pi-forall
A demo implementation of a simple dependently-typed language
arey0pushpa/noether
Noether programming language