BFM

BFM, devised by Frédéric van der Plancke, is Brainfuck with macros, an extension to the popular Turing tarpit.

It has higher-order macros, that is macros can be given as argument to other macros. The macro system is thus a lambda-calculus superimposed on the basic Brainfuck layer and is a Turing-complete language in its own right.

External resources

 * BFM by its author (.zip)
 * mirror of BFM texts and interpreter