Varisat is a CDCL based SAT solver written in (unstable) rust. Given a
boolean formula in conjunctive normal form, it either finds a variable
assignment that makes the formula true or finds a proof that this is
The “Tanztatur” is a meter-sized USB-keyboard you can walk and dance on. Presented at the 34c3, it was conceived by @TVLuke and me and built at the Nobreakspace. More pictures and details can be found on the project page (in German).
Overdrive is a Sega Mega Drive demo released at the Revision 2017 Demoparty where it won the 1st place in the alternative platform category. It also won the Meteoriks 2018 awards for outstanding technical achievement, best low-end production and a honorable mention for best soundtrack.
Overdrive is a Sega Mega Drive demo released at the Evoke 2013 Demoparty where it won the 1st place in the alternative platform category. I joined the project just before the deadline, to help completing it in time.