Notes & projects

Personal page. Small tools, occasional write-ups, things I keep online.