~dcao

https://cao.st

~dcao/wordsmith

the hacker's prose linter

~dcao/dotfiles

Personal configuration

~dcao/website

Personal website

~dcao/stonks

stochastic time tracker

~dcao/ivor

an experimental idris package manager, written in idris 2