This is a darcs repository index. Below you can find the list of publicly accessible repositories
Project Description
cat Basic category theory in Coq
coq-cat-old (Old) Category theory in Coq with typeclasses by Matthie ...
hott-snippets HoTT snippets
noninterference John Rushby's non-interference in Coq
persistent-cereal Helper functions for writing Persistent instances (mirror)
xmonad-config XMonad configuration