I've played recently with these strange languages. I've created:
High-Level Brainf**k - simple C-like language and compiler, which compiles it to Brainf**k code. It supports function calls, recursion, local variables, conditions, loops and arrays. There aren't global variables or pointers (it's quite hard to implement them on Brainf**k). The code generated by HLBF compiler is currently quite ineffective (for example, it always copies operands (even arrays!) on stack by value before operating on them), but it works. Maybe someday I'll think on optimizations.
bf2llvm - A compiler, which converts Brainf**k code to LLVM code. It makes some basic optimizations (for example, it simplifies loops in form [- (only +, -, <, > instructions, < number equals >) ] - most common BF loops). Then the emitted LLVM code is optimized further by the LLVM optimization passes. It's probably the most optimizing Brainf**k compiler to date 
and now for something completely different...
llfunge - A Funge-98 JIT. It's using LLVM to generate optimized machine code from Funge code on the fly. I haven't implemented sparse Funge-space and code self-modification yet, but the rest (enough to run Befunge programs) works quite good.
Is someone here crazy enough to work on projects related to esoteric languages? 