~dcao

https://cao.st

purely functional, side effects not included

~dcao/dotfiles

Personal configuration

~dcao/stonks

stochastic time tracker

~dcao/ivor

an experimental idris package manager, written in idris 2

~dcao/website

Personal website

~dcao/wordsmith

extensible prose linting framework in rust