Work

A few selected projects I have worked on or am still working on, mostly in my spare time.

Distributed systems

Programming models and infrastructure for software that communicates and coordinates across processes and machines.

Actors and typed components in Rust, bringing flexible messaging and explicit interfaces together for distributed systems.

An experimental peer-to-peer group synchronisation project, currently under development.

An open table format providing reliable transactions over data-lake files, with support for batch and streaming workloads.

Component-based distributed programming, with language support for clearer algorithms and stronger static checks.

Lecture notes that develop a practical consensus algorithm for agreeing on a sequence of decisions despite failures.

Research into a common representation for batch and stream analytics, connected to the Arcon runtime through Kompact.

A distributed key-value store combining ordered keys, replicated partitions and load balancing.

General-purpose libraries for the Rust ecosystem.

Task executors for Rust, with work-stealing and channel-based thread pools and a benchmark suite for comparing scheduling choices.

Timer facilities for Rust, built for distributed algorithms and testing with simulation time.

Tools for tabletop games and their worlds.

An interactive 3D map of the Eclipse Phase solar system and its settlements.

First Edition tools for players and GMs, spanning a Roll20 sheet, companion script, compendium and character generator.

Tools for working with code and the work around it.

Git-native issue tracking that keeps work and its history alongside the code, with predictable workflows for coding agents.