this is the personal website of david cao, PL-interested computer science student at UCSD.
- elba: a package manager for Idris
- seascape: a smarter professor/course evaluation tool for UCSD
- wordsmith: a smol, speedy, and extensible prose linter
- ramble: a mobile org-roam companion
- i made a website for ucsd wushu