Repository of personal but public files, such as:

• dotfiles: cross-platform dotfiles (linux, macos, windows) installable with a single command
• experiments: experiments with various languages, frameworks, and tools
• home: home server stuff
• keys: public gpg keys
• reproductions: minimal reproductions of issues
• website: personal website