Projects

What actually runs. Games will show up here as soon as they're playable.

Infra · Since 2026Live

Heracles

My personal hosting platform on a Raspberry Pi 5: an HTTPS proxy with automatic certificates, unified accounts through Google or Discord, and every service deployed in its own container.

  • Docker
  • Traefik
  • Authentik
  • OIDC
  • Let's Encrypt

Research · 2026 internship · Université de MontréalCompleted

A million libcs

Automatically generating a large number of musl libc variants for software diversity: compiler flags, memory layout randomization, then source-to-source obfuscation. 87% of the files obfuscated, 95% of the functional tests still passing.

  • C
  • musl
  • GCC
  • Tigress

Client · 2026Live

ESS website

The website of an electrician in Toulon, France. Static, zero JavaScript on the home page, and deployed automatically: every release builds an ARM64 image that the server only has to pull.

  • Astro
  • GitHub Actions
  • Docker

Tool · Since 2026In use

Brain MCP

An MCP server that gives an AI assistant access to my notes, from the web or a phone. Every write becomes a git commit; access goes through OAuth, walled off from player accounts.

  • Python
  • MCP
  • OAuth
  • Git

Tool · Since 2026In use

Pantry MCP

An MCP server for Grocy: an AI assistant keeps my food stock, recipes, meal plan and shopping list up to date.

  • Python
  • MCP
  • Grocy

Infra · Since 2026In use

Heracles Backup

Backups for my hosting platform: a machine at another site pulls the databases, volumes and secrets of the Raspberry Pi over SSH into an encrypted restic repository. The Pi never gets access to the backups.

  • Bash
  • restic
  • Docker
  • PostgreSQL