Project 
Description 

cat 
Basic category theory in Coq 
summary 
shortlog 
log 
tree

coqcatold 
(Old) Category theory in Coq with typeclasses by Matthie ... 
summary 
shortlog 
log 
tree

coq 
My Coq experiments 
summary 
shortlog 
log 
tree

covariant.me 
Website data, configuration, and scripts in Hakyll 
summary 
shortlog 
log 
tree

hottsnippets 
HoTT snippets 
summary 
shortlog 
log 
tree

persistentcereal 
Helper functions for writing Persistent instances (mirror) 
summary 
shortlog 
log 
tree

xmonadconfig 
XMonad configuration 
summary 
shortlog 
log 
tree
