jaredloomis/andromeda-idris
A GLSL representation and eDSL in Idris
Public GitHub Catalog
Discovered Sep 27, 2026
jaredloomis / Your_Future_Needs_Help
A game using LWJGL
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#10541186GitHub System ID
jaredloomisOrganization / User
PublicVisibility
ActiveCatalog Status
More from jaredloomis
jaredloomis/poly-os
Operating System written in multiple unconventional languages
jaredloomis/Idris-dev
A Dependently Typed Functional Programming Language
jaredloomis/russell
A dependently-typed functional programming reasearch language