Quickly rewrite git repository history (filter-branch replacement)

Record terminal sessions as SVG animations

check code for common misspellings

git history statistics generator

check links in web documents or full websites

Full-featured Python IRC library for Python.

Assorted git tools, including git-restore-mtime

🛠️ A language server for (neo)mutt's muttrc.

Expirybot reminds PGP users before their key expires

🤖 IRC bot for #neomutt

♻️ git history statistics generator