Software

HookRace (since 2014)

Planned successor of DDNet, but then turned into my blog:

• HookRace Blog

DDraceNetwork (since 2013)

DDraceNetwork is a cooperative online 2D platformer. What started as a simple mod is now a big cooperative platformer experience! Choose from hundreds of available maps, race your way to the finish line and help your friends. Collaborate and compete with players all over the world.

• Website
• on Steam
• Game repository

The Nim programming language (2014-2016)

I was an active contributor in the Nim programming language:

• nim-unsorted: A huge list of small programs I wrote in Nim
• bigints: Pure BigInts library
• NimES: NES Emulator
• My libraries

I held a talk at the GPN14 about Nim:

• Slides (in German)
• Talk Website (in German)
• Video Recording (in German)

Fuzzing Open Source Software (2014)

Using AFL I have discovered a few interesting crashes in software:

• WavPack
• opus-tools
• zsh
• FreeType: CFF, T42
• MKVToolNix

Haskell

gifstream (2012)

Make interactive games in Haskell using GIF streams that can be shown in the webbrowser. An example of snake is included. Compile and run:

$ ghc -O3 -threaded SnakeFinished.hs
$ ./SnakeFinished
Listening on http://127.0.0.1:5002/

Control using WASD in the terminal, output in the browser looks like this:

• on GitHub

ghc-datasize (2012)

ghc-datasize is a tool to determine the size of Haskell data structures in GHC’s memory. Determining the size of recursive data structures is supported. All sizes are in Bytes.

• Website
• on Hackage
• on GitHub

ghc-vis (2012)

Visualize live data structures in GHCi. Evaluation is not forced and you can interact with the visualized data structures. This allows seeing Haskell’s lazy evaluation and sharing in action.

• Website
• on Hackage
• on GitHub

xdot (2012)

Parse Graphviz xdot files and interactively view them in a GTK window.

Currently not all xdot features are supported. Nodes and edges can be highlighted by hovering them and clicked.

For an example of using this library try the accompanying Demo.hs with the dot-files in dot-examples/.

• on Hackage
• on GitHub

Rotary Element Simulation (2012)

Simulates Rotary Element circuits. Contains the examples from the original paper.

• Source Code

Simulation files for the P3 cellular automaton and some Rotary Elements in it:

• Golly files

tach (2009)

tach is a script that provides automatic detaching and reattaching of terminals using dtach.

• Source Code

reverse rsync backup (2009)

rrb is a simple set of scripts to take backups by hand and automatically by a backup server using rsync and manage them.

• Source Code
• Elaboration (in German), source

Sutofu (2009)

Sudoku game and solver for TI V200.

• Source Code

simple xmpp client (2008) (unmaintained)

sxc is for jabber what ii (irc it) is for IRC: A minimalistic file-oriented jabber client which runs in the background and can be controlled by using basic command line tools to read from/write into the files/FIFOs sxc creates.

• libsxc
• sxc
• sxc-tools
• sxc-scripts
• Presentation (in German), source

ajaxWM (2008) (unmaintained)

ajaxWM is a window manager in a web browser, a terminal emulator and an SSH proxy. It allows remote controlling a computer even when there is a firewall and packet analyzer between, blocking everything else than HTTP(S)-connections. Because the ajaxWM client runs in any javascript-capable web browser, you can even use it when you are not allowed to install any software, for example in an internet café, at school, or at work.

• on SourceForge
• Elaboration (in German), source
• Presentation (in German), source
• Handout (in German), source