Apologies if this has been posted already, but I haven't seen this mentioned on LtU before.

HLVM is...

"A complete compiler developer's toolkit for creating new languages easily. To write a new compiler, language designers simply write a plugin that describes the language to HLVM and how to translate the grammar productions into HLVM's comprehensive Abstract Syntax Tree (AST). After that, HLVM handles all aspects of code generation, bytecode storage, XML translation, JIT execution or interpretation, and native compilation."

"Aimed at supporting dynamic languages such as Ruby, Python, Perl, Jython, Haskell, Prolog, etc."

"A language interoperability framework."

I'm not sure if "dynamic" means dynamically typed or truly dynamic in that the semantics of the language can be changed from within the language itself.

HLVM is implemented on top of the LLVM that has been discussed on LtU a few times.

http://www.hlvm.org

http://www.llvm.org