uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

A web-based collaborative LaTeX editor

Browser extension that automatically fills out cookie popups based on your preferences

A collection of Obsidian.md scripts which include Tag & Page Clouds, Table of Contents / ToC, Bad / Missing Link reporting, etc.

Obsidian custom scripts, templates and workflows developed for myself. Take whatever you need.

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]