runKleisli
Funding: * https://salt.bountysource.com/teams/patchkleisli * https://flattr.com/@runKleisli
Patchwork SSB @c5zFAmQ3pG8mzXc86oOmLiz9bKZeHO9KQCSazTWsMzo=.ed25519
Pinned Repositories
idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
focused-list-machines
Languages for index-centric manipulation of lists
idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
idris-classdata
Using type classes like data types
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
netwire-vinylglfw-examples
Netwire/GLFW/VinylGL input handling demo
transform-feedback-demo
Transform feedback - reading calculations from the GPU - in Haskell
verified-integer-gaussian-elimination
Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.
runKleisli's Repositories
runKleisli/verified-integer-gaussian-elimination
Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.
runKleisli/focused-list-machines
Languages for index-centric manipulation of lists
runKleisli/netwire-vinylglfw-examples
Netwire/GLFW/VinylGL input handling demo
runKleisli/idris-classdata
Using type classes like data types
runKleisli/idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
runKleisli/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
runKleisli/netwire-input-glfw
MonadInput instances for GLFW based netwire programs
runKleisli/transform-feedback-demo
Transform feedback - reading calculations from the GPU - in Haskell