Independent game developer

Games with logic.

Indie games by a logician — math magician :)
I work as a researcher in theoretical computer science. In my spare time, I develop indie games, featuring unusual mechanics, puzzles, and mathematically inspired ideas. The games are built from scratch — writing the engine is an essential part of the fun, no?

least-fixpoint — indie games by a logician

Selected games

Play in browser
horonox

Time travel simulator · 2021—2027

horonox

A puzzle game about time travel—and its consequences. Move through space and time, resolve paradoxes, and close time loops. Explore surprising riddles, each moving you closer to understanding what has happened.

BiNA

Programming DNA code · 2015—2022

BiNA

A game about a programming language based on rewriting rules. Build efficient programs, employ complete parallelism, and follow a COVID‑related backstory.

Socials

Follow along

Contact

Say hello

Write to me.

For anything related to the games, send me an email or a message.