projedi/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 2, 2026
projedi / cv
Public repository discovered through GitHub real-time crawl.
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.
#25199970GitHub System ID
projediOrganization / User
PublicVisibility
ActiveCatalog Status
More from projedi
projedi/gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
projedi/fp-mooc
Public repository.
projedi/zoom.vim
control gui font size with "+" or "-" keys.