Patrick Totzke

alot. Terminal-based Mail User Agent

urwidtrees. tree widgets for urwid

xapers. git://finestructure.net/xapers

beamerthemeEdinburgh. University of Edinburgh theme for latex beamer

scripts. collection of scripts i wrote for personal use

boostzielonka. A basic parity game solver

beamerthemeWarwick. Warwick Uni theme for latex beamer

teaching_scripts. a selection of scripts I use to automate teaching related tasks

check50_java. check50 extension that allows to compile/interpret java code and junit5 tests.

grade50. turns check50 reports into grades

ontime. solving games on temporal graphs

urwid. Console user interface library for Python (hg-git clone for git-fans)

egsolver. Solves finite energy games