User:Keymaker

Keymaker is yet another friend of esoteric programming languages. Keymaker's favourite language is brainfuck for which he has a site over here. Keymaker's another site, dedicated to other esoteric languages than brainfuck, can be found here. He has countless favourite esolanguages, the list is now too long to be kept here.

I have designed the following languages:
 * Unnecessary *
 * Trigger (partly, see specs for more details) *
 * Aeolbonn (a language I shouldn't have done...) *
 * Splinter *
 * Novice *
 * Figurehead *
 * Wheat *
 * Clue *
 * Blind *
 * Hollow *
 * Urn *
 * Etre *
 * Seribund *
 * Kantate *
 * Natyre *
 * Vein *

While I have many esolang plans I tend to be slow in polishing and publishing them. I like writing programs in others' esolangs too, especially if they're interesting languages, and a collection of programs can be found on my site (which needs some serious updating, I know).

I have proved the Turing-completeness of these languages not of mine:
 * Sceql Turing-completeness proof
 * REVERSE
 * Minsky machine to SMITH translation
 * Forte
 * Subtractpocalypse
 * Black Turing-completeness proof