Dennis's repositories
voxel-city
A Python script that generates a colorful voxel city and writes it to a MagicaVoxel .vox file
rascal2webassembly
A WebAssembly API written in Rascal MPL. Computing Science BSc project at RuG (2018).
small-hello-world
Assembly files that assemble into very small Hello World programs for several CPU architectures
rust-pi-forall
A partial re-implementation of pi-forall in Rust
blender-unitize
A Blender Add-on that scales a mesh to fit within the origin-centered unit cube
aws-lambda-z3
A tutorial on running Z3 on AWS Lambda, with Rust
docker-agda-mini
Small Docker images containing Agda
wasm-pathtracer
Pathtracer written in Rust compiled to WebAssembly. University course project.
wasm-superoptimizer
An (incomplete) WebAssembly superoptimizer. MSc thesis project at UU (2021).
cgc
Constructive Galois connections
fency-programs
TSO Weak Memory Benchmark Programs
haskell-eqrel
Data structures for explicitly constructed equivalence relations.
haskell-graph
Several general graph algorithms I frequently use
haskell-id-containers
Data containers where every element has a unique identifier.
haskell-sparse-blob
Compact and efficient data structure for sparse byte vectors in Haskell.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
micro-superoptimizer
A superoptimizer for 2-bit truth tables, using bitvector arithmetic.
non-euclidean-grid
An interactive demo that renders a non-Euclidean 2D grid
png-steganography
Hides a message in the least-significant-bit of a PNG image's color channels
rust-collections
Some datastructures missing from the stdlib and existing libraries. With benchmarks.
rust-microbenchmarks
Isolated benchmarks for Rust implementations of algorithms & data-structures, to help me decide on a specific implementation
rust-vox-parser
A parser for MagicaVoxel's .vox File Format
sudoku-solver
A simple Sudoku solver, written in Rust