Explore projects
-
Wrapper script for Xpra that allows running the server as a different user on the same system using sudo.
Updated -
gene / metrics
GNU General Public License v3.0 onlyCode Metrics for Benchmarking Timing Analysis
Updated -
Simple tools to just fucking do things with X.509 certificates
Updated -
Updated
-
Updated
-
monitoring plugins i've seen myself needing to write, for whatever reason, shared with all of you :-)
Updated -
Johannes Knödtel / waitline-crystal
GNU General Public License v3.0 onlyUpdated -
Updated
-
Johannes Knödtel / punktdatei
Eclipse Public License 1.0punktdatei is a tool to help you manage your dotfiles using git and jinja-style templates.
Updated -
-
Updated
-
Horizontal verification: Trace the kernel dynamically and do isomorphism check against SSTG
Updated -
A tool for drawing GPX tracks over Openstreetmap-based maps.
Updated -
Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)
Updated -
-
Updated
-
-
-