my name is david
computer science & mathematics undergraduate @ university of maryland
i like programming, linux, tinkering, and some math
📂 selected works:
dotfiles
elementary model theory in rocq
website
under construction, come back later...
🕰 formerly:
flight software for theia @ umd satdev
linux club member @ umd