This project is a collection of formal semantics (in the K Framework) for esoteric programming languages. It includes Befunge, Brainfuck, and Thue. All were written by Chucky Ellison (cme@freefour.com) in 2011--2012 and are released under the MIT License.

Readable versions are available (as pdfs) for Befunge and Brainfuck.