Name | Description | Owner | Idle |
~helmut/bidiragda.git | Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia... | Helmut Grohne | 3 years |
~helmut/crossqa.git | cross build quality assurance for Debian http://crossqa.subdivi.de/src/<sourcepa... | Helmut Grohne | 11 months |
~helmut/debian-dedup.git | Unnamed repository; edit this file 'description' to name the repository.
| Helmut Grohne | 23 months |
~helmut/debvm.git | A tool for creating and running Debian-based VMs
| Helmut Grohne | |
~helmut/mdbp.git | meta dpkg-buildpackage
| Helmut Grohne | 12 months |
~helmut/munin-plugins-busybox.git | A reimplementation of some munin plugins in a single C binary.
| Helmut Grohne | 12 years |
~helmut/onoff.git | A DBus service and client for automatically activating and deactivaing devices
| Helmut Grohne | 3 years |
~helmut/python-linuxnamespaces.git | Python module for working with Linux namespaces
| Helmut Grohne | 15 months |
~helmut/ssdeep.git | A fork of http://ssdeep.sf.net/.
| Helmut Grohne | 11 years |
~helmut/tcvt.git | See http://subdivi.de/~helmut/tcvt/
| Helmut Grohne | 3 years |
~helmut/wsgitools.git | See http://subdivi.de/~helmut/wsgitools/
| Helmut Grohne | 14 months |