jaredloomis/hascell
Public repository.
Public GitHub Catalog
Discovered Oct 2, 2026
jaredloomis / idris-llvm
Idris LLVM codegen factored out
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.
#24625475GitHub System ID
jaredloomisOrganization / User
PublicVisibility
ActiveCatalog Status
More from jaredloomis
jaredloomis/andromeda-idris
A GLSL representation and eDSL in Idris
jaredloomis/poly-os
Operating System written in multiple unconventional languages
jaredloomis/Idris-dev
A Dependently Typed Functional Programming Language