sourcedennis Goto Github PK

agda-dodo

Binary relations library written in Agda

aws-lambda-z3

A tutorial on running Z3 on AWS Lambda, with Rust

blender-unitize

A Blender Add-on that scales a mesh to fit within the origin-centered unit cube

cgc

Constructive Galois connections

docker-agda-mini

Small Docker images containing Agda

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.

micro-superoptimizer

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

mushroom

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

puzzle24

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

rascal2webassembly

A WebAssembly API written in Rascal MPL. Computing Science BSc project at RuG (2018).

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-pi-forall

A partial re-implementation of pi-forall in Rust

rust-vox-parser

A parser for MagicaVoxel's .vox File Format

small-hello-world

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

sudoku-solver

A simple Sudoku solver, written in Rust

voxel-city

A Python script that generates a colorful voxel city and writes it to a MagicaVoxel .vox file

wasm-pathtracer

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

wasm-superoptimizer

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