this is the personal website of david cao, PL-interested computer science student at UCSD.

projects

• 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

fun stuff

• i made a website for ucsd wushu

links

• Email: david@cao.sh
• GitHub: @dcao
• sr.ht: ~dcao
• GPG: BAF82063B3C00397