A collection of out-of-tree LLVM passes for teaching and learning

WebAssembly Virtual Machine

Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Concurrent mark-sweep garbage collector for accurate garbage collection of language runtimes in C++ 1x.

The fork of Eclipse OMR used in the "GC Arrays" tutorial

A brute-force analysis tool built on Clang.

SOM++ on OMR.