pazz Goto Github PK

afew

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

alot

Terminal-based Mail User Agent

beamerthemeedinburgh

University of Edinburgh theme for latex beamer

beamerthemewarwick

Warwick Uni theme for latex beamer

boostzielonka

A basic parity game solver

check50

This is check50, a command-line program with which you can check the correctness of your programs.

check50_checkstyle

A check50 extension that wraps around the static code analyser checkstye

check50_java

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

check50_junit

A check50 extension for running and interpreting junit5 unit tests

configs

egsolver

Solves finite energy games

grade50

turns check50 reports into grades

gradlegrader_template

guitest

jekyll-conference

Jekyll template for a conference website containing program, speaker, talks and room overview

notmuch

pgsolver

A collection of tools for generating, manipulating and - most of all - solving parity games.

sandbox

scripts

collection of scripts i wrote for personal use

teaching_scripts

a selection of scripts I use to automate teaching related tasks

uam

urwid

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

urwidtrees

tree widgets for urwid

xapers

git://finestructure.net/xapers

z3

The Z3 Theorem Prover