Software

• Digitalgatter und Transitoren in LaTeX/TikZ (in Englisch)
• Betreiben des Xilinx ISE WebPacks unter CentOS 6 in einem Docker-Container
• Verwalten von Familien von Foliensätzen in LaTeX (in Englisch)
• Boot eines Linux-Systems ohne funktionierenden Bootloader (in Englisch)
• genFamMem Home-Page - Ein Spezifikationsgenerator und Type-Checker für Familien von formalen Anforderungen. (in Englisch)
• Setzen und Drucken von Z-Spezifikationen mit Familienkonstrukten (in Englisch)
• Syntax-Highlighting für CSP und für Z im vim-Editor. (in Englisch)
• Installing SuSE Linux 9.3 (and 8.2 and 7.0) on an Acer Travelmate 522TX (in Englisch)
• Bugfix for Gnu "tar" concerning multiple volumes and reading from pipes (in Englisch)
• Knetmasse selbst gemacht - Rezept (richtige Software :-) )