Unwound Stack

unwoundstack.com

Personal site of a programmer who writes about provably correct code, maintains the scribbu MP3 tagging project, and develops the elfeed-score Emacs package.

why we picked it

The homepage highlights the author's interests in functional programming and formal verification, with links to source distributions for the scribbu MP3 tagging tool and the elfeed-score Emacs package.

Checked with Google Web Risk · 1 hour ago

Visit unwoundstack.com ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: August 2026