Hans's repositories
rust-serval-example
A minimal example of how to use the serval llvm verifier on a rust project.
compile-time-filter-tests
A collection of tests for the compile_time_filters feature for the rust-lang/log crate.
enochecker
Checker library for ENOWARS3
glium
Safe OpenGL wrapper for the Rust language.
libgdbstub
A simple freestanding GDB stub library for parsing the GDB serial remote protocol.
libpspproxy
Userspace library to proxy PSP hardware accesses to a real PSP
log-lib-filter
A compile-time filter that can be enabled per library.
OmNomNom
A simple Telegram bot to get canteen information.
openssh-portable
Portable OpenSSH
psp-includes
PSP related headers and definitions shared across multiple projects
rust
Empowering everyone to build reliable and efficient software.
swtpm
Libtpms-based TPM emulator with socket, character device, and Linux CUSE interface.
systemd
The systemd System and Service Manager
teensy_loader_cli
Command line Teensy Loader
tock
PR source for the Tock embedded operating system
ubuntu-server-zfsbootmenu
Ubuntu zfsbootmenu install script
wireguard-initramfs
Use dropbear over wireguard.