Bartok (compiler)
Bartok is an optimizing compiler and managed runtime system for Common Intermediate Language (which .NET languages compile to), being developed by Microsoft Research. == Overview == Bartok aims to be efficient enough to be usable for writing operating systems.