index
NameDescriptionOwnerIdle
~helmut/wsgitools.gitSee http://subdivi.de/~helmut/wsgitools/ Helmut Grohne9 months
~helmut/debvm.gitA tool for creating and running Debian-based VMs Helmut Grohne
~helmut/onoff.gitA DBus service and client for automatically activating and deactivaing devices Helmut Grohne3 years
~helmut/bidiragda.gitBidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia...Helmut Grohne2 years
~helmut/tcvt.gitSee http://subdivi.de/~helmut/tcvt/ Helmut Grohne2 years
~helmut/munin-plugins-busybox.gitA reimplementation of some munin plugins in a single C binary. Helmut Grohne11 years
~helmut/ssdeep.gitA fork of http://ssdeep.sf.net/. Helmut Grohne10 years
~helmut/debian-dedup.gitUnnamed repository; edit this file 'description' to name the repository. Helmut Grohne18 months
~helmut/mdbp.gitmeta dpkg-buildpackage Helmut Grohne8 months
~helmut/crossqa.gitcross build quality assurance for Debian http://crossqa.subdivi.de/src/<sourcepa...Helmut Grohne6 months
~helmut/python-linuxnamespaces.gitPython module for working with Linux namespaces Helmut Grohne10 months