Git repository browser

Name	Description	Owner	Idle	Links
dotfiles.git	The dotfiles I currently use on my laptop	mirenn	5 days	summary log tree
inpla.git	A fork of Inpla, a multi-threaded parallel interpreter of interaction nets	mirenn		summary log tree
vein.git	VEIN: VErification via Interaction Nets	mirenn	5 weeks	summary log tree
www.mirenn.dev.git	My personal website	mirenn	5 weeks	summary log tree