Git repository browser

Name	Description	Owner	Idle	Links
dotfiles.git	The dotfiles I currently use on my laptop	Eric Marin	5 weeks	summary log tree
vein.git	VEIN: VErification via Interaction Nets	Eric Marin	7 weeks	summary log tree
www.ericmarin.dev.git	My personal website	Eric Marin	5 weeks	summary log tree