Tools

Here is a collection of tools, architectures, and systems I actively use and research.

GitHub

Qubes OS

Vlang

Radare2

RISC-V

seL4