conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment)San Andreas, California, USA
conal's Stars
jgm/pandoc
Universal markup converter
haskell/haskell-mode
Emacs mode for Haskell
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
reanimate/reanimate
Haskell library for building declarative animations based on SVG graphics
DanielG/ghc-mod
Happy Haskell Hacking for editors. DEPRECATED
agda/agda-categories
A new Categories library for Agda
conal/denotational-hardware
Denotational hardware design in Agda
bolt12/master-thesis
Selective Functors & Probabilistic Programming
conal/shady-gen
Functional GPU programming - DSEL & compiler
conal/total-map
Finitely represented /total/ maps
conal/shady-graphics
Functional GPU programming - graphics
agda/categories-examples
Examples of categorical structures
conal/NumInstances
Instances of numeric classes for functions and tuples
conal/shady-examples
Playing with shady
conal/gitit-to-blog
Convert a gitit-friendly markdown page to HTML, including various transformations
conal/numbers-vectors-trees
code for a blog post series
conal/shady-render
Functional GPU programming - rendering
conal/shady-tv
Functional GPU programming - user interfaces
conal/type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
conal/ordinal-gitit-plugin
Gitit plugin: Format ordinals like 21st
conal/fix-symbols-gitit
Gitit plugin: Turn some Haskell symbols into Greek and pretty math symbols.
conal/gitit-birdtrack-shift
Gitit plugin: deconfuse HTML vs inverse-birdtrack
conal/gitit-comment
Gitit plugin: remove comments like <!--[ ... ]-->
conal/ghc-mod
Happy Haskell programming on Emacs
conal/pandoc
Universal markup converter