Pinned Loading

1. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 41.3k 19.4k

2. meta/redex meta/redex Public

   A bytecode optimizer for Android apps

   C++ 6.3k 681

3. meta/SPARTA meta/SPARTA Public

   SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

   C++ 674 57

4. meta/hhvm meta/hhvm Public

   A virtual machine for executing programs written in Hack.

   C++ 18.7k 3.1k

5. plasma-umass/doppio plasma-umass/doppio Public

   Breaks the browser language barrier (includes a plugin-free JVM).

   TypeScript 2.2k 177

6. metajs metajs Public

   Visualize your Javascript with a CPS metacircular interpreter.

   CoffeeScript 195 14