conal/generic-fft
FFTs for functor combinators
Developer Profile
conal
Discovered public repositories for conal in the GitHub catalog.
conal/uniform-pair
Uniform pairs with class instances
conal/ftree
Depth-typed functor-based trees, both top-down and bottom-up
conal/ShowF
Show for * -> *
conal/TV
Tangible Values -- composable interfaces
conal/plugin-import-id
GHC plugin experiment
conal/circat
A categorical framework for circuit construction
conal/lambda-ccc
Convert lambda expressions to CCC combinators
conal/applicative-numbers
Applicative-based numeric instances
conal/talk-2012-folds-and-unfolds
Talk on folds & unfolds (and combinations) for general algebraic data types
conal/talk-2012-reimagining-matrices
A talk deriving matrix addition and multiplication from semantic specification
conal/talk-2012-linear-timing
Talk for IFIP Working Group 2.8
conal/pixie
Circuit pictures
conal/diagrams-doc
Documentation for the diagrams project
conal/diagrams-core
Core types and utilities
conal/linear-map-gadt
Linear maps as a GADT
conal/MemoTrie
Trie-based memo functions
conal/state-trie
Memoizing state monad
conal/functor-combo
Functor combinators with tries & zippers
conal/ty
Typed type representations and equality proofs
conal/TypeCompose
Type composition classes & instances & misc
conal/DeepArrow
Arrows for "deep application"
conal/vector-space
Vector & affine spaces, linear maps, and derivatives
conal/Boolean
Generalized booleans
conal/to-haskell
A type class and some utilities for generating Haskell code
conal/ConsStream
Re-export Wouter Swierstra's Stream package, avoiding module name clash
conal/pandoc
Universal markup converter
conal/shady-examples
Playing with shady
conal/shady-tv
Functional GPU programming - user interfaces
conal/shady-render
Functional GPU programming - rendering
conal/shady-graphics
Functional GPU programming - graphics
conal/shady-gen
Functional GPU programming - DSEL & compiler
conal/ghc-mod
Happy Haskell programming on Emacs
conal/total-map
Finitely represented /total/ maps
conal/type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
conal/NumInstances
Instances of numeric classes for functions and tuples
conal/gitit-birdtrack-shift
Gitit plugin: deconfuse HTML vs inverse-birdtrack
conal/gitit-to-blog
Convert a gitit-friendly markdown page to HTML, including various transformations
conal/ordinal-gitit-plugin
Gitit plugin: Format ordinals like 21st
conal/gitit-comment
Gitit plugin: remove comments like <!--[ ... ]-->
conal/numbers-vectors-trees
code for a blog post series
conal/fix-symbols-gitit
Gitit plugin: Turn some Haskell symbols into Greek and pretty math symbols.