| Name | Description | Owner | Idle | Links |
|---|---|---|---|---|
| dotfiles.git | The dotfiles I currently use on my laptop | mirenn | 2 months | summarylogtree |
| vein.git | VEIN: VErification via Interaction Nets | mirenn | 3 months | summarylogtree |
 |
Git repository browser |
| a fast webinterface for the git dscm |
| indexabout |