larshuth
Getting my PhD in Computer Science; Trying not to collapse before the polynomial hierarchy does.
RWTH AachenAachen/Frankfurt
larshuth's Stars
vincentdchan/CubyText
An open-source knowledge management app.
gambitproject/gambit
Gambit: The package for computation in game theory
ftsrg-edu/swsv-labs
Lab materials for the Software and Systems Verification (VIMIMA01) course
goethe-tcs/breaking-the-cycle
Directed Feedback Vertex Set Solvers