Conal Elliott's repositories
talk-2015-essence-and-origins-of-frp
A keynote talk for LambdaJam 2015 (July 15--16)
talk-2018-deep-learning-rebooted
"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
vector-space
Vector & affine spaces, linear maps, and derivatives
paper-2020-higher-order-ad
Higher-order, higher-order automatic differentiation
essence-of-ad
Paper: The simple essence of automatic differentiation
2017-talk-teaching-new-tricks-to-old-programs
Keynote talk for Lambda Jam 2017 in Sydney
convolution-paper
Generalized Convolution and Efficient Language Recognition
functor-combo
Functor combinators with tries & zippers
generic-parallel-functional
Paper on generic parallel functional programming
talk-2017-generic-functional-parallel
A talk for ICFP 2017
generic-fft
FFTs for functor combinators
agda-linear
Denotative linear algebra in Agda
gitit-to-blog
Convert a gitit-friendly markdown page to HTML, including various transformations
type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
talk-2017-compiling-to-categories
A talk for ICFP 2017
uniform-pair
Uniform pairs with class instances
Fran-via-deepfire
Functional Reactive Animation
ordinal-gitit-plugin
Gitit plugin: Format ordinals like 21st
fix-symbols-gitit
Gitit plugin: Turn some Haskell symbols into Greek and pretty math symbols.
gitit-birdtrack-shift
Gitit plugin: deconfuse HTML vs inverse-birdtrack
gitit-comment
Gitit plugin: remove comments like <!--[ ... ]-->
newtype-generics
A typeclass and set of functions for working with newtypes.
semiring-num
library with a semiring class and some useful semirings
gitit-atx-plugin
Gitit plugin to revive ATX-style headers despite markdown+lhs
tdop.github.io
Reprinting Vaughan Pratt's Paper on Top Down Operator Precedence Parsing