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 32k 13.3k

2. facebook/redex facebook/redex Public

   A bytecode optimizer for Android apps

   C++ 6.1k 669

3. facebook/SPARTA facebook/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++ 648 48

4. facebook/hhvm facebook/hhvm Public

   A virtual machine for executing programs written in Hack.

   C++ 18.4k 3k

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 196 14