Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A simple Jekyll-generated static blog.
-
Description of my Arch Linux setup
-
A small utility for checking/verifying backed up external drives.
-
Single collection point for all my dotfiles.
-
A filter for Vivado output.
-
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 the performance effects of data alignment
-
A Rust library that has malicious behaviour at build time.
-
-
A very simple text editor written in Rust.
-
Pushing some code from a while ago
-
A simple Vulkan spinning house
-
A tool for testing out Intel's cache allocation technology.
-
A collection of occasionally-useful scripts.
-
The homepage for korte.land.
-
A simple seL4-based operating system.
-
My solutions to the Coursera nand2tetris course.
-
A simple substitution cipher solver.
