Matthias Schlaipfer's repositories
unreal-server-info
Little script to query the server info for Rune. It is expected to work for other Unreal Engine 1 games as well.
vim-sketch
Sketch language highlighting for VIM
boogie
Boogie
tikz_nametags
Python script to generate name tags with logos via TikZ for HERMA 4420
tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
z3
The Z3 Theorem Prover
dafny
Dafny is a verification-aware programming language
display-switch
Turn a $30 USB switch into a full-featured multi-monitor KVM switch
dotfiles-1
Configuration files
fmt_presentation
Presentation for Seminar on Finite Model Theory, based on Libkin's book chapter 9 ("Turing Machines and Finite Models")
gapt
GAPT: General Architecture for Proof Theory
hike_and_swim_2013
Mock academic article used as an invitation to a family hike-and-swim day. Written in LaTeX.
rouge
A pure Ruby code highlighter that is compatible with Pygments
scrambler
A simple scrambler for SMT-LIB 2.6 scripts.
vvt
The Vienna Verification Toolkit