Computer scientist, software developer. I write code for fun and profit. I use open-source software, and sometimes try to improve it. A BSD-friendly Linux user.
dinit. Service monitoring / "init" system
1.1kdasynq. Thread-safe cross-platform event loop library in C++
186elf2efi. Convert ELF-format images to PE+ suitable for use as EFI applications
38tosaithe. Very minimalistic UEFI boot menu / kernel bootloader
35bmcxxabi. Bare-metal C++ ABI routines
7libbmcxx. bare-metal C++ standard library
6bmunwind. bare-metal libunwind implementation, for supporting C++ exceptions in EFI apps and OS kernels
5ccomp-microbench. C compiler optimisation micro-benchmarks
3multiboot-kernel64. Example multiboot stub to use with a 64-bit x86_64 kernel
3libxdg-basedir. An implementation of the XDG Base Directory specifications. This is a fork of the original which is now being maintained, please use the original repo: https://github.com/devnev/libxdg-basedir
2gcc-patches. Patches for GCC 11.5/12.5
2tosaithe-bb. TSBP bare-bones kernel example
1