Currently, my main interest lies in all kinds of information systems, specifically mixed-initiative systems, interactive theorem provers, and virtual partners. I wish I could say this sternly; however, I frequently get tempted by other interests.
Some things I've made in the past:
MixedAim: A tool for co-creating puzzle games
Interval arithmetic in PSI
Themes for XCode/(n)vim/terminal.app
Theoretical C++ Algorithms, Book is released & free!
Ice Floes - Boardgame
Maturaarbeit SJf 2016 - Sliceralgorithmus
Inofficial Swiss Olympiad in Informatics Game Jam
Duolang: Code in 2 Programming Languages at the same time... In your Browser!
kevin (at symbol) dekeyser (dot) ch   ✉