A simple substitution cipher solver.
A collection of occasionally-useful scripts.
My solutions to the Coursera nand2tetris course.
A simple seL4-based operating system.
The homepage for korte.land.
Description of my Arch Linux setup
A simple Jekyll-generated static blog.
A new version of my Emacs config, since the old one was getting quite badly structured for the amount of stuff it had.
A tool for testing out Intel's cache allocation technology.
A simple Vulkan spinning house
Pushing some code from a while ago
A very simple text editor written in Rust.
Single collection point for all my dotfiles.
A Rust library that has malicious behaviour at build time.
A tool for testing the performance effects of data alignment
A filter for Vivado output.
A small utility for checking/verifying backed up external drives.
A simple expense tracker
A simple tool for text-based flash cards. Based on SM-2.