PhD-Track MSc student at the University of British Columbia. I like PL, compilers, and verification.
Stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
🎨 Generate and change color-schemes on the fly.
Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
Custom wallpapers to show love for Doom Emacs and Org Mode
2
Updated May 13, 2022
Another attempt of a flat Gruvbox theme for Neovim
Collection of Summer 2025 tech internships!
A collection of out-of-tree LLVM passes for teaching and learning