Independent game developer

Games with logic.

Indie games by a logician — math magician. I work in theoretical computer science and develop unusual mechanics, puzzles, and mathematically inspired ideas in my spare time — from the engine up.

least-fixpoint — indie games by a logician

Selected games

Play in browser
Horonox

Time travel · HTML5

Horonox

The time-travel game! A browser game made in HTML5, with unusual mechanics that play across space, time, and consequence.

BiNA

Programming puzzle · 2015—2022

BiNA

A game about a programming language based on rewriting rules. Build compact programs, solve its puzzles, and follow a COVID-related backstory.