I program stuff
Ongoing projects
COQQTL and related
COQQTL
Coq port of FIRRTL
Batyr and related
Batyr (private for now, temporary name)
A sandbox game
Arvernus
A simple cross-platform C++ logger library
Maponos
A simple cross-platform C++ arguments parser library
Ogmios
A simple cross-platform C++ tasks system
Archive
2024
TaGöL
A wrapper for latexmk
Fluffy flock 🆒
A painting game made in 72h for LD56
Blood, Sweat and Seals
An age of war-like made in 72h for LD55
2023
Limited Larry and the Lost Intern
A point and click game made in 72h for LD54
Themes test
Fun with hsl
Fourrière
A collection of surprising Coq behaviors
Careless Express 🆒
A physics puzzle game made in 72h for LD53
2022
Kitten Space Opera
A survival horror game made in 72h for LD51 — old, bad build :(
Abysmall
An incomplete management game made in 72h for LD50
2021
Red Flag (Le Temps des Tempêtes) 🆒
A pirate game made in 72h for LD49
Dante's Harvest
An action/tower defense game made in 72h for LD48
2020
mr-POSIX
A machine-readable documentation of POSIX C
2019
FOP
A framework for function optimization
2018
Godot engine virtual joystick
Made with touchscreens in mind
La mort ne tue pas deux fois
Buggy coop game, Global Game Jam
This website
May contain traces of recursion
2017
WAVES
Side-scroller, Global Game Jam
Prehistory
Terrible TI 83 programs
You have been warned