Popular repositories

1. dg

   [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

   C++ 268 76

2. wldbg

   Tool for processing wayland connections

   C 27 6

3. LLVMSlicer

   Forked from jirislaby/LLVMSlicer

   Static Slicer for LLVM

   C++ 2

4. wayland

   Core Wayland protocol and libraries [fork]

   C 1

5. wayland-integration-tests Archived

   [OBSOLETE] most of this project has been merged to the Wayland upstream test-suite, this is a dead project now. || Wayland integration tests. Tests using a little framework for creating wayland com…

   C 1 1

6. llvm-slicing

   Forked from zhangyz/llvm-slicing

   Symbolic Program Slicing with LLVM

   Haskell 1