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

circat

29
Stars
8
Forks
Watchers

A categorical framework for circuit construction

verified publisher icon conal

denotational-hardware

95
Stars
8
Forks
Watchers

Denotational hardware design in Agda

verified publisher icon conal

essence-of-ad

22
Stars
1
Forks
Watchers

Paper: The simple essence of automatic differentiation

verified publisher icon conal

Fran

30
Stars
1
Forks
Watchers

First Haskell implementations of Fran/FRP

verified publisher icon conal

2017-talk-teaching-new-tricks-to-old-programs

19
Stars
0
Forks
Watchers

Keynote talk for Lambda Jam 2017 in Sydney

verified publisher icon conal

agda-machines

17
Stars
3
Forks
Watchers

Denotational-categorical design of verified hardware in Agda

verified publisher icon conal

Collaboration

82
Stars
0
Forks
Watchers

Play/learn/work with me

verified publisher icon conal

convolution-paper

18
Stars
0
Forks
Watchers

Generalized Convolution and Efficient Language Recognition

verified publisher icon conal

lambda-ccc

144
Stars
19
Forks
Watchers

Convert lambda expressions to CCC combinators

verified publisher icon conal

MemoTrie

86
Stars
22
Forks
Watchers

Trie-based memo functions

verified publisher icon conal