This project contains implementations of a few esoteric programming languages. For fun. :)
Languages I may implement are:
- Emmental
- Mascarpone (WIP)
- Object disoriented
- Piet
- I actually have an implementation of this at ijks/piet-rs but it could probably use some rewriting.
- Funciton
- Brainfork
- Ziim
- Burro
- Bonus: prove the special property that Burro programs form a group under concatenation, using e.g. Agda.