- toaruwm (Rust) - an X11 window manager and (planned) Wayland compositor library
- raccoonOS (C) - A small UNIX-like personal operating system
- enlightenedc (C++) - An LLVM-powered HolyC compiler and (planned) JIT REPL
- iot-suite (Python) - An IoT malware dynamic analysis sandbox
- Systems Programming
- Operating Systems
- Compilers and Interpreters
- Type Theory
- Functional Programming
- Algebra (Abstract and Linear)
- Discrete Mathematics (Graph Theory, Discrete Geometry)
- Formal Language Theory
- Stack the Flags 2020
- Hacky Easter 2021
- TISC 2021
- CMU's Bomb
- ROP Emporium
- SeeTF 2022
- UofTCTF 2023 (Challenge Author)
- Deerhacks CTF (Challenge Author)
Rust, C/C++, Python, Haskell
Lisp, Clojure, Erlang, Zig, Nim
- OS: Arch Linux (btw)
- IDE: VSCode/Neovim
- My Dotfiles

