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
95 16 01
lambda-ccc
Convert lambda expressions to CCC combinators
Language:Haskell146 22 1218
MemoTrie
Trie-based memo functions
Language:Haskell92 6 1121
talk-2014-bayhac-denotational-design
Denotational Design: from programs to meanings
Language:TeX99 6 10
talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
Language:TeX121 5 05
talk-2015-essence-and-origins-of-frp
A keynote talk for LambdaJam 2015 (July 15--16)
Language:TeX413 11 224
talk-2015-haskell-to-hardware
From Haskell to Hardware via CCCs
Language:TeX58 9 02
talk-2018-deep-learning-rebooted
"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
Language:TeX52 4 01
talk-2018-essence-of-ad
The simple essence of automatic differentiation
Language:TeX198 11 08
talk-2021-can-tensor-programming-be-liberated
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
Language:TeX64 4 12

conal's Repositories

conal/talk-2015-essence-and-origins-of-frp
A keynote talk for LambdaJam 2015 (July 15--16)
Language:TeX413 11 224
conal/talk-2018-essence-of-ad
The simple essence of automatic differentiation
Language:TeX198 11 08
conal/talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
Language:TeX121 5 05
conal/Collaboration
Play/learn/work with me
95 16 01
conal/MemoTrie
Trie-based memo functions
Language:Haskell92 6 1121
conal/talk-2021-can-tensor-programming-be-liberated
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
Language:TeX64 4 12
conal/felix
Agda category theory library for denotational design
Language:Agda50 4 26
conal/paper-2021-language-derivatives
Paper and talk
Language:TeX50 5 112
conal/vector-space
Vector & affine spaces, linear maps, and derivatives
Language:Haskell47 10 1020
conal/talk-2016-generic-fft
A talk on type-generic FFT in Haskell
Language:TeX46 4 13
conal/talk-2020-calculating-compilers-categorically
A talk
Language:TeX28 2 01
conal/talk-2015-more-elegant-frp
A more elegant specification for FRP
Language:TeX24 5 0
conal/quotes
My favorite quotes
Language:Makefile17 4 01
conal/talk-2023-galilean-revolution
A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
Language:TeX13 2 0
conal/unamb
Unambiguous choice
Language:Haskell12 4 27
conal/TypeCompose
Type composition classes & instances & misc
Language:Haskell9 4 49
conal/NumInstances
Instances of numeric classes for functions and tuples
Language:Haskell7 5 05
conal/felix-boolean
Language:Agda6 2 01
conal/lub
information operators: least upper bound (lub) and greatest lower bound (glb)
Language:Haskell6 4 12
conal/agda-cat-linear
Linear map categories in Agda
Language:Agda5 2 21
conal/OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX5 0 01
conal/.emacs.d
My Emacs environment
Language:Emacs Lisp4 3 0
conal/Boolean
Generalized booleans
Language:Haskell4 4 57
conal/equation-transfer
Transferring equational properties backward through homomorphisms
Language:Agda4
conal/nim
The game of Nim in Agda
Language:Agda4 2 0
conal/agda-latex
Template for Agda-based talk and paper
Language:TeX3 3 0
conal/cheshire
2
conal/agda-stdlib
The Agda standard library
Language:Agda1 1 0
conal/blag
Agda blog
Language:HTML1 1 01
conal/jespercockx-agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
Language:TeX1 1 0