justjoheinz/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 3, 2026
justjoheinz / docker-grafana-graphite
Docker image with StatsD, Graphite, Grafana and a Kamon Dashboard
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.
#27915455GitHub System ID
justjoheinzOrganization / User
PublicVisibility
ActiveCatalog Status
More from justjoheinz
justjoheinz/vindinium-starter-scala
Scala starter bot for Vindinium
justjoheinz/play-spray2json
Convert spray-json JsValues and JsonFormats to play-json.
justjoheinz/shapelaysson
Shapelaysson = Shapeless + Play-Json