conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment)San Andreas, California, USA
Pinned Repositories
Collaboration
Play/learn/work with me
lambda-ccc
Convert lambda expressions to CCC combinators
MemoTrie
Trie-based memo functions
talk-2014-bayhac-denotational-design
Denotational Design: from programs to meanings
talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
talk-2015-essence-and-origins-of-frp
A keynote talk for LambdaJam 2015 (July 15--16)
talk-2015-haskell-to-hardware
From Haskell to Hardware via CCCs
talk-2018-deep-learning-rebooted
"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
talk-2018-essence-of-ad
The simple essence of automatic differentiation
talk-2021-can-tensor-programming-be-liberated
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
conal's Repositories
conal/lambda-ccc
Convert lambda expressions to CCC combinators
conal/talk-2014-bayhac-denotational-design
Denotational Design: from programs to meanings
conal/talk-2015-haskell-to-hardware
From Haskell to Hardware via CCCs
conal/circat
A categorical framework for circuit construction
conal/shady-gen
Functional GPU programming - DSEL & compiler
conal/talk-2016-generic-parallel-scan
Talk on generic parallel scan
conal/shady-graphics
Functional GPU programming - graphics
conal/shaped-types
Experimenting with statically shaped types, GHC specialization, and reification
conal/graphics-concat
Graphics via compiling-to-categories
conal/talk-2016-fp-parallel
Intro talk on functional programming, emphasizing parallelism
conal/ty
Typed type representations and equality proofs
conal/reification-rules
GHC Core reification via rules
conal/reify-core-examples
Examples of core reification and Haskell-to-hardware compilation
conal/talk-2012-reimagining-matrices
A talk deriving matrix addition and multiplication from semantic specification
conal/talk-2014-elegant-memoization
A talk: "Elegant memoization"
conal/hermit-extras
Some helpers for GHC Core and HERMIT
conal/language-glsl
Haskell package for representation, parsing, and pretty-printing of GLSL
conal/monomorph
A GHC plugin for monomorphization
conal/reify-core
Reify GHC Core into a GADT for further processing
conal/talk-2013-understanding-parallel-scan
Talk: "Understanding efficient parallel scan"
conal/webgl-experiment-1
Some experiments with WebGL, toward resurrecting Shady
conal/cabal-make
Some Cabal helpers
conal/emacs-haskell-tutorial
Tutorial on setting up Emacs to do Haskell programming
conal/ghci-pretty
tiny hack for colored pretty-printing within ghci
conal/hasktags
Produces ctags "tags" and etags "TAGS" files for Haskell programs
conal/hermit
Haskell Equational Reasoning Model-to-Implementation Tunnel
conal/keys
keyed functors
conal/test
Misc experiments
conal/treeviz
Haskell library for visualizing algorithmic decomposition of computations.
conal/kure
Combinators for Strategic Programming