jix.one

Projects

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.

Tags

All Projects

2021

Flussab

Tagged rust, sat

Rust utilities for writing fast parsers, and parsers for some formats including DIMACS CNF.

2020

Proving the optimal size of 11 and 12 input sorting networks

Tagged sorting-networks

Research project to find the optimal size of sorting networks with 11 and 12 inputs.

ZwoHash

Tagged rust

A very fast hash algorithm optimized for the use in Rust’s hash tables.

2019

vec_mut_scan

Tagged rust

An iterator like interface over a Rust vector which allows mutation and removal of items.

2018

partial_ref

Tagged rust

Type checked partial references for Rust.

Varisat

Tagged rust, sat

A CDCL based SAT solver written in Rust.

2017

NECA - Not Even Coppersmith’s Attack

Tagged cryptography

A fast implementation of an attack by Rivest and Shamir adapted to work on 512-bit RSA keys affected by the ROCA vulnerability.

Overdrive 2

Tagged art, demoscene

A demo for the Sega Mega Drive, released at Revision 2017.

Tanztatur

Tagged art, hardware

A meter-sized USB-keyboard you can walk and dance on.

2016

Mufin–Runtime Monitoring with Union-Find Structures

Tagged runtime-verification, uni

Efficient runtime monitoring algorithm for tracking hierarchical relationships of objects.

2015

TeSSLa: Temporal Stream-based Specification Language

Tagged runtime-verification, uni

A stream-based specification language for runtime verification of embedded systems.

2013

Overdrive

Tagged art, demoscene

A demo for the Sega Mega Drive, released at Evoke 2013.

2012

Finally

Tagged art, demoscene

A demo for the WonderSwan Color, released at Evoke 2012.

HANSE - Scanning Sonar Localization

Tagged robotics, uni

Scanning sonar localization for an autonomous underwater vehicle.

2009

Paradistance

Tagged art, demoscene

A PC 4k intro released at Evoke 2009.

2008

Hoppus (RoboCup Junior)

Tagged robotics

RoboCup Junior team I was part of back in school.