Publicly contributing mostly to open-source stuff we use at work.
Please see Codeberg for my most recent personal projects.
- Flyte: Union Types + flyteidl + flytekit + flytepropeller — I also built a for proper record types that is used in Latch's Flyte fork, but we burned out upstreaming the union types so never tried with the record types
- RStudio: Resumable busy sessions — ships with Latch Pods but did not get upstreamed due to complexity and Posit's internal product priorities
- vpy — compiler for a subset of Python targeting LLVM IR, featuring a hand-written parser and extensive notes
- FastQC-Neo — sped up version of FastQC, also ported to a modern build system
- VSCode Generic LSP — tiny tool for configuring VSCode to register a client for any LSP server given its path and settings
- nOS — hobbyist operating system implementing a custom bootloader, Haskell Shake-based build system, shell, and drivers for ATA PIO and PS/2 keyboards
- Open-GraphEq — draft of an open-source version of a robust function graphing algorithm