Agda proofs for our Arancini paper

Small Docker images containing Agda

Agda Proof Framework for Axiomatic Weak Memory Concurrency Models

Binary relations library written in Agda

Agda proofs for the Armed-Cats x86-to-Arm mapping

Robustness Enforcement for (modified) C11Tester traces

A modified variant of C11Tester detecting x86-Arm robustness violations

Serialize/deserialize binary data. Neither self-describing nor (endian-)portable, but small and fast

Binary Decision Diagrams in Rust

TSO Weak Memory Benchmark Programs

A Rust library which optimally solves Twenty-Four sliding puzzles. (IDA* with pattern DBs)

Isolated benchmarks for Rust implementations of algorithms & data-structures, to help me decide on a specific implementation

Some datastructures missing from the stdlib and existing libraries. With benchmarks.

A simple Sudoku solver, written in Rust

A superoptimizer for 2-bit truth tables, using bitvector arithmetic.

A partial re-implementation of pi-forall in Rust

A tutorial on running Z3 on AWS Lambda, with Rust

An (incomplete) WebAssembly superoptimizer. MSc thesis project at UU (2021).

Hides a message in the least-significant-bit of a PNG image's color channels

Assembly files that assemble into very small Hello World programs for several CPU architectures

Data containers where every element has a unique identifier.

Pathtracer written in Rust compiled to WebAssembly. University course project.

A parser for MagicaVoxel's .vox File Format

Compact and efficient data structure for sparse byte vectors in Haskell.

Data structures for explicitly constructed equivalence relations.

Several general graph algorithms I frequently use