Florent C.
A lightweight overlay volume (or anything) bar for the X Window System.
florentc
Vim filetype for the TLA+ specification language and proofs
