ncsa-mosaic. NCSA Mosaic 2.7
bcdb. A database and infrastructure for distributed processing of LLVM bitcode.
bcdb-private. OBSOLETE - replaced with https://github.com/yotann/bcdb
alive2. Automatic verification of LLVM optimizations
