Explore projects

A simple Jekyll-generated static blog.

Description of my Arch Linux setup

A new version of my Emacs config, since the old one was getting quite badly structured for the amount of stuff it had.

scrape tiger emoji from emoji kitchen

A simple substitution cipher solver.

My solutions to the Coursera nand2tetris course.

A simple seL4-based operating system.

The homepage for korte.land.

A collection of occasionally-useful scripts.

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.

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.

Single collection point for all my dotfiles.

A small utility for checking/verifying backed up external drives.

A simple expense tracker