Универсальная система анализа, трансформации и оптимизации программ в асни Low Level Virtual Machine (llvm).

Low Level Virtual Machine (LLVM) — универсальная система анализа, трансформации и оптимизации программ, реализующая виртуальную машину с RISC-подобными инструкциями. Может использоваться как оптимизирующий компилятор этого байткода вмашинный код для различных архитектур либо для его интерпретации и JIT-компиляции (для некоторых платформ).

LLVM (при помощи различных фронтендов, в том числе сторонних) позволяет компилировать программы написанные на языках С, C++, Objective-C, Fortran, Ada,Haskell, Java, Python, Ruby, JavaScript, GLSL. В рамках проекта LLVM был разработан фронтенд Clang для языков C и C++ и версия GCC, использующие llvm в качестве бэкенда. В Glasgow Haskell Compiler также реализована компиляция посредством llvm. Существует множество программ, использующих данную инфраструктуру.