Avatar

『De Keyser
Kevin』

dekeyser.ch

About:
Currently, my main interest lies in all sorts of human computer interaction, specifically mixed initiative systems, interactive theorem provers and virtual partners.


Some things I've made in the past:
PuzzleScript Mixed Initiative System
Itch: trappuzzler
Interval arithmetic in PSI
Themes for XCode/(n)vim/terminal.app
KanjiConstruct
Theoretical C++ Algorithms, Book is released & free!
Ice Floes - Boardgame
Maturaarbeit SJf 2016 - Sliceralgorithmus
Guilt surfing
UnicodeTreePrint
Inofficial Swiss Olympiad in Informatics Game Jam
Duolang: Code in 2 Programming Languages at the same time... In your Browser!
Old games

Contact me:
kevin (at symbol) dekeyser.ch   

Dark version
Third version