Conal Elliott's repositories
linear-map-gadt
Linear maps as a GADT
data-treify
Reify a recursive data structure into an explicit graph.
shady-examples
Playing with shady
shady-render
Functional GPU programming - rendering
talk-2012-folds-and-unfolds
Talk on folds & unfolds (and combinations) for general algebraic data types
talk-2012-reimagining-matrices
A talk deriving matrix addition and multiplication from semantic specification
plugin-import-id
GHC plugin experiment
type-encode
HERMIT-based GHC plugin: convert data types to sum-of-products form
applicative-numbers
Applicative-based numeric instances
state-trie
Memoizing state monad
talk-2012-linear-timing
Talk for IFIP Working Group 2.8
to-haskell
A type class and some utilities for generating Haskell code
webgl-experiment-1
Some experiments with WebGL, toward resurrecting Shady
ConsStream
Re-export Wouter Swierstra's Stream package, avoiding module name clash
ghci-pretty
tiny hack for colored pretty-printing within ghci
haskell-cgi
A library for writing CGI programs
diagrams-core
Core types and utilities
diagrams-doc
Documentation for the diagrams project
kure
Combinators for Strategic Programming