Kakoune
LeanPrism
Paperproof
