Projects
This is an incomplete list of projects I worked on over the years. They are listed roughly in reverse chronological order of when I made the project public or started contributing to an existing project.
Tags
All Projects
2022
Yosys
Open-source hardware synthesis and formal verification toolchain.
2021
Flussab
Rust utilities for writing fast parsers, and parsers for some formats including DIMACS CNF.
Cnfpack
Compressed file format for CNF formulas, often orders of magnitude smaller than compressed DIMACS CNF.
2020
ZwoHash
A very fast hash algorithm optimized for the use in Rust’s hash tables.
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.
2019
vec_mut_scan
An iterator like interface over a Rust vector which allows mutation and removal of items.
2018
Varisat
A CDCL based SAT solver written in Rust.
partial_ref
Type checked partial references for Rust.
2017
Tanztatur
A meter-sized USB-keyboard you can walk and dance on.
Overdrive 2
A demo for the Sega Mega Drive, released at Revision 2017.
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.
2016
Mufin–Runtime Monitoring with Union-Find Structures
Efficient runtime monitoring algorithm for tracking hierarchical relationships of objects.
2015
TeSSLa: Temporal Stream-based Specification Language
A stream-based specification language for runtime verification of embedded systems.
2013
Overdrive
A demo for the Sega Mega Drive, released at Evoke 2013.
2012
HANSE - Scanning Sonar Localization
Scanning sonar localization for an autonomous underwater vehicle.
Finally
A demo for the WonderSwan Color, released at Evoke 2012.
2009
Paradistance
A PC 4k intro released at Evoke 2009.
2008
muncho
4k executable packer for 32-bit x86 Macs running on OS X 10.5
Hoppus (RoboCup Junior)
RoboCup Junior team I was part of back in school.