Projects
Each project has its own documentation site, built from its repository with the same theme.
GitLab
Go CLI that copies and mirrors GitLab projects and groups between two instances, on GitLab Premium or Free.
Go service that awards tiered badges and EXP on a self-hosted GitLab, live from webhooks. Ships a Helm chart.
GitHub
SonarQube
Editors and personal tools
TypeScript extension that turns your coding activity into achievements, levels and experience, stored locally.
Python tool that turns your Instagram message export into graphs and rankings, entirely on your machine.
The source code of every project is on GitHub.