runKleisli's repositories
verified-integer-gaussian-elimination
Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.
focused-list-machines
Languages for index-centric manipulation of lists
netwire-vinylglfw-examples
Netwire/GLFW/VinylGL input handling demo
idris-classdata
Using type classes like data types
idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
netwire-graph-loader
Example programs building up to loading a graph from a file while displaying a loading screen, then rendering it. Netwire/GLFW/VinylGL/netwire-input/STM
netwire-input-glfw
MonadInput instances for GLFW based netwire programs
transform-feedback-demo
Transform feedback - reading calculations from the GPU - in Haskell