Popular repositories Loading

1. andersen andersen Public

   Andersen's inclusion-based pointer analysis re-implementation in LLVM

   C++ 214 51

2. pyre-ast pyre-ast Public

   pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of tagless-final style.

   OCaml 39 8

3. LLVMDynamicTools LLVMDynamicTools Public

   An LLVM interpreter that aims to compute points-to sets dynamically

   C++ 30 10

4. tpa tpa Public

   Pointer Analysis with Tunable Precision

   C++ 26 8

5. pcomb pcomb Public

   Simple C++ Parser Combinator Library

   C++ 15 7

6. GSoC2016 GSoC2016 Public

   Work product of my Google Summer of Code 2016 project

   TeX 4 3