Conal Elliott

icon indicating a website link http://conal.net

icon company (open to employment) icon location San Andreas, California, USA icon location Play/learn/work with me: https://github.com/conal/Collaboration

Results 24 repositories owned by Conal Elliott

talk-2018-essence-of-ad

192
Stars
7
Forks
Watchers

The simple essence of automatic differentiation

verified publisher icon conal

denotational-arithmetic

15
Stars
1
Forks
Watchers

Puzzle: arithmetic via denotational design

verified publisher icon conal

felix

39
Stars
4
Forks
Watchers

Agda category theory library for denotational design

verified publisher icon conal

quotes

16
Stars
1
Forks
Watchers

My favorite quotes

verified publisher icon conal