- Currently a Master's student at ETH Zurich
- Previously completed a Bachelor's degree at University of Edinburgh in 2024
- I'm also on
LinkedIn!
I maintain the following open-source projects:
- discord-haskell: The most popular Haskell library for interfacing with the Discord API
- discord-haskell-voice: Implementation of the real-time voice call protocol for the above
- Better Informatics File Collection: A crowdsourced study platform used by 1,300+ students at UoE
- community-solutions: A widely used exam study platform used by 11,000+ students at ETH
I've previously worked on, or am actively working on the following projects too:
- e-paper-todoist: A desk-top e-ink todo display, written in C++
- LeakyBarrel: An implementation of the Barrelfish exokernel OS in C
- dave: Haskell FFI bindings to libdave, an audio End-to-End Encryption protocol
- corekube-rs: A work-in-progress 5G packet core implementation in Rust (stalled)
- Hammered: A 3D game built from scratch in C# (with a team of six)
- mpvcord and mpv_clock: Some Lua scripts for the mpv video player
Please don't hestitate to reach out regarding any of these! :)