justjoheinz/idris-unit
Simple Testing framework for Idris
Public GitHub Catalog
Discovered Oct 31, 2026
justjoheinz / idris-optics
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.
#44473429GitHub System ID
justjoheinzOrganization / User
PublicVisibility
ActiveCatalog Status
More from justjoheinz
justjoheinz/Idris-dev
A Dependently Typed Functional Programming Language
justjoheinz/vindinium-starter-scala
Scala starter bot for Vindinium
justjoheinz/play-spray2json
Convert spray-json JsValues and JsonFormats to play-json.