All Git Users → copumpkin

3 open source projects by copumpkin

[ Open user page on Github ]

Categories parametrized by morphism equality, in Agda

✭ 141

category-theory

A Haskell library for manipulating Java class files

✭ 15

(Eventually) a reasonably complete ARM implementation in Haskell

✭ 14

1-3 of 3 user projects