jaredloomis/russell
A dependently-typed functional programming reasearch language
Public GitHub Catalog
Discovered Sep 26, 2026
jaredloomis / The-Elements-Project
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.
#6536777GitHub System ID
jaredloomisOrganization / User
PublicVisibility
ActiveCatalog Status
More from jaredloomis
jaredloomis/Idris-HoTT
Homotopy Type Theory proofs in Idris
jaredloomis/xmonad-configs
Public repository.
jaredloomis/dilcue
A parallel realtime(ish) raytracer with support for non-euclidian geometry.