Daniel Peebles

icon indicating a website link http://twitter.com/copumpkin

icon location Washington

Results 2 repositories owned by Daniel Peebles

categories

147
Stars
26
Forks
Watchers

Categories parametrized by morphism equality, in Agda

verified publisher icon copumpkin

java

15
Stars
6
Forks
Watchers

A Haskell library for manipulating Java class files

verified publisher icon copumpkin