jaredloomis/noeuclid
Non-euclidean GPU Raytraced Game
The Haskell-Scriptable Editor
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Non-euclidean GPU Raytraced Game
Idris wrapper over some of the JavaScript DOM, with a FRP module included.
Idris LLVM codegen factored out
A linear algebra library in haskell.