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

hottsnippets 
HoTT snippets 
summary 
shortlog 
log 
tree

noninterference 
John Rushby's noninterference in Coq 
summary 
shortlog 
log 
tree

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

xmonadconfig 
XMonad configuration 
summary 
shortlog 
log 
tree
