Low-level systems hacker with interest in (user space) device drivers, Rust, microkernels and virtualization.
tcptrace. tcptrace is a tool written by Shawn Ostermann at Ohio University, for analysis of TCP dump files.
79baresifter. A bare-metal x86 instruction set fuzzer a la Sandsifter
74sysupdate-playground. Examples for systemd-sysupdate
62obiwan. A Simple TFTP Server for PXE Booting
59kernel-dev. Instant Linux kernel development environments via Nix devShells
36stumpwm. A tiling, keyboard driven X11 Window Manager written entirely in Common Lisp
27tuxedo-nixos. Tuxedo Control Center Derivation and Module for NixOS
26kernel_entry_benchmark. Microbenchmarks for x86_64 kernel entry methods
20cl-dbus. cl-dbus aims to be a complete implementation of the DBUS protocol used in popular desktop environments.
20nix-coreboot. An example of how to package Coreboot in Nix
19hydrasect. The tool that makes bisecting nixpkgs pleasant.
19nix-configs. My personal Nix configurations
11vmmu. An implementation of the x86 MMU in C++
11x86.lol. A blog about weird x86 internals
9x86-fingerprint. CPU microarchitecture fingerprinting via instruction fetch characteristics
9kvm-livepatch. NixOS Live Patch Experiments
8sv3. A userspace software-switch including Intel 82599 10G NIC driver
8bender. A multiboot chainloader that makes PCI serial cards available for legacy use
7nix-link-cleanup. Clean up Nix result links to allow garbage collection to do its thing!
6x86.lol-examples. Code from the x86.lol blog
6xplot. Plot tcptrace data
6oceansprint-image-minimize. An experiment in reducing the image size for NixOS-based appliances
6nixos-appliance-example. Examples for building appliance images with NixOS
6simple-radius-server. Protocol Parsing for the RADIUS protocol
5epoxy-riscv. Rust
4nix-demo. Nix and NixOS demos
4stumpwm-goodies. A collection of stumpwm extensions for an enhanced stump experience
4gdb-remote. A library for the GDB Remote Protocol. Can act as server and as client (limited).
4cl-raw1394. A Common Lisp binding for libraw1394.
4nixon. A remote debugging tool
4MoleflapClient. Java
4blitz-euler. Common Lisp
3pres. A minimalist presentation tool
3risculator.
3hasalexquityet.cloud. HTML
3ulx3s-tools. Nix packages for ULX3s FPGA development
2nix-uefi-rust. Building UEFI Rust apps with Nix
2genode. Genode OS Framework
2slim. SLiM - Simple Login Manager
2clac. A reverse polish calculator - a modern replacement for dc
2genode-nix. Nix packages of Genode tooling
2kvm-timer-demo. A small demonstrator of timer_settime use for KVM vCPUs
2x86-manpages-nix. Nix expressions for x86-manpages
2nixos-kernel-benchmark. Tools to benchmark Linux kernel configurations on NixOS
1nix-large-repo. C
1nix-studio-link. Nix package for Studio Link Standalone
1linux. Mirror of Linus Torvald's Kernel Tree
1cmdlinenotify. Command Line Notify App Engine Server and Python Client
1adahello. Statically-linked Hello World in Ada
1