dysnomia's repositories
biblatex-minimal
Minimal example for biblatex.
book-embedding
Files for my bachelor thesis about book embeddings. The thesis itself and the program to generate the SAT clauses for the 3 matching case.
Language:TeX000
domjudge
Fork of the domjudge programming contest judge incorporating local modifications for the KIT. (git://a-eskwadraat.nl/git/domjudge.git)
GPL-2.0000
graph-theory
Sample program for the graph theory lecture by Maria Axenovich at KIT.
Language:C++000
hardrock
Hardrock client
Language:Lua000
kit-plag
Small plagiarism detector.
Language:C++000
puzzle-tools
Tools for puzzle hunts
Language:Python000
setcover
Open source solvers for the Discrete Optimization set cover assignment.
Language:PythonMIT000
sicp
My solutions for the problems in Structure and Interpretation of Computer Programs. Rough and incomplete.
Language:Racket000
sublime-config
My sublime user configurations.