p
Repositories
Select a repository to view its commits, contributors, and more.public
alot
Terminal-based Mail User Agent
Python
707
164
233
Updated 10 days ago
public
urwidtrees
tree widgets for urwid
Python
53
18
3
Updated 2 months ago
public
xapers
git://finestructure.net/xapers
Python
10
0
0
Updated 3 years ago
public
beamerthemeEdinburgh
University of Edinburgh theme for latex beamer
TeX
6
1
0
Updated 4 months ago
public
boostzielonka
A basic parity game solver
Python
2
1
0
Updated a year ago
public
scripts
collection of scripts i wrote for personal use
Python
2
0
0
Updated 11 years ago
public
check50_java
check50 extension that allows to compile/interpret java code and junit5 tests.
Python
2
0
0
Updated 3 years ago
public
beamerthemeWarwick
Warwick Uni theme for latex beamer
TeX
2
4
0
Updated 4 years ago
public
teaching_scripts
a selection of scripts I use to automate teaching related tasks
Python
1
1
0
Updated 2 years ago
public
grade50
turns check50 reports into grades
Python
1
2
1
Updated 2 years ago
public
egsolver
Solves finite energy games
Python
1
0
0
Updated 10 months ago
public
check50_checkstyle
A check50 extension that wraps around the static code analyser checkstye
Python
0
0
0
Updated 4 years ago