Repositories
pazz Repositories
al-folio plugin for fetching citation counts from Google Scholar and InspireHEP
A beautiful, simple, clean, and responsive Jekyll theme for academics
Core runtime plugin for al-folio v1.x
Terminal-based Mail User Agent
University of Edinburgh theme for latex beamer
An unofficial modular beamer theme for the university of Liverpool
Warwick Uni theme for latex beamer
A basic parity game solver
This is check50, a command-line program with which you can check the correctness of your programs.
A check50 extension that wraps around the static code analyser checkstye
check50 extension that allows to compile/interpret java code and junit5 tests.
A check50 extension for running and interpreting junit5 unit tests
Solves finite energy games
turns check50 reports into grades
Jekyll template for a conference website containing program, speaker, talks and room overview
Implements code actions for the LTeX Language Server for neovim
solving games on temporal graphs