This is an incomplete list of projects I worked on over the years. They are listed roughly in reverse chronological order of their first public release.
Rust utilities for writing fast parsers, and parsers for some formats including DIMACS CNF.
Proving the optimal size of 11 and 12 input sorting networks
Research project to find the optimal size of sorting networks with 11 and 12 inputs.
A very fast hash algorithm optimized for the use in Rust’s hash tables.
An iterator like interface over a Rust vector which allows mutation and removal of items.
Type checked partial references for Rust.
A CDCL based SAT solver written in Rust.
NECA - Not Even Coppersmith’s Attack
A fast implementation of an attack by Rivest and Shamir adapted to work on 512-bit RSA keys affected by the ROCA vulnerability.
A demo for the Sega Mega Drive, released at Revision 2017.
A meter-sized USB-keyboard you can walk and dance on.
Mufin–Runtime Monitoring with Union-Find Structures
Efficient runtime monitoring algorithm for tracking hierarchical relationships of objects.
TeSSLa: Temporal Stream-based Specification Language
A stream-based specification language for runtime verification of embedded systems.
A demo for the Sega Mega Drive, released at Evoke 2013.
A demo for the WonderSwan Color, released at Evoke 2012.
HANSE - Scanning Sonar Localization
Scanning sonar localization for an autonomous underwater vehicle.
A PC 4k intro released at Evoke 2009.
Hoppus (RoboCup Junior)
RoboCup Junior team I was part of back in school.