jaredloomis/andromeda-idris
A GLSL representation and eDSL in Idris
Public GitHub Catalog
Discovered Oct 3, 2026
jaredloomis / xmonad-configs
Public repository discovered through GitHub real-time crawl.
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.
#27317038GitHub 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