mjgpy3/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 14, 2026
mjgpy3 / mjg
My site! Built in Elm, deployed to Heroku.
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.
#38729579GitHub System ID
mjgpy3Organization / User
PublicVisibility
ActiveCatalog Status
More from mjgpy3
mjgpy3/formantis
Haskell/Yesod breakable toy
mjgpy3/commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
mjgpy3/purescript-identity
Identity value