klimisa/idris101
Learning project by a group of people interested in learning the Idris language
Public GitHub Catalog
Discovered Oct 3, 2026
klimisa / mv_djview
A .net window form project for practicing mv* patterns
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.
#26878970GitHub System ID
klimisaOrganization / User
PublicVisibility
ActiveCatalog Status
More from klimisa
klimisa/PluralsightSpaJumpStartFinal
Source code for the SPA JumpStart Pluralsight course at http://jpapa.me/spajsps
klimisa/beagle-db-benchmark
DB Benchmark tool (RDBMD, NoSQL)
klimisa/kendo-mobile-music-store
Mobile version of the Kendo Music Store sample project.