A tool for building commercial-grade, customized variants of popular Linux distributions for embedded devices. Rugpi integrates a flexible workflow for creating customized system images, robust over-the-air updates with rollback support, and state management across reboots and updates. Deployed in production on hundreds of devices worldwide.

Next-generation control and reporting software for a leading e-bike test bench system. The project involved developing drivers for test bench communication via CAN, implementing a stream-processing engine for real-time control and analysis, and creating a web-based graphical user interface for test bench control and visual programming of custom test procedures.

A Python framework for handling quantitative models centered around the JANI-model format. Momba offers an integrated environment for model construction, validation, and analysis, with modular tools and an exploration engine for interactive visualization. Developed as part of my PhD thesis, it enables rapid prototyping and testing of quantitative models.

An experimental Python bytecode VM written in JavaScript, enabling Python programs to run in a web browser. Jaspy supports multi-threading, integrates with an interactive Python debugger, and exposes the DOM to Python code. The project was an exploration into client-side web programming, demonstrating the possibilities of running Python in a browser environment.