Git repository browser

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