Popular repositories Loading

1. ksplice ksplice Public

   Patch kernel without rebooting

   C 84 32

2. LLVMSlicer LLVMSlicer Public

   Static Slicer for LLVM

   C++ 65 22

3. stanse stanse Public

   Error-finding tool based on static analysis

   Java 12 4

4. collected_sources collected_sources Public

   This is a set of a wide range of sources I've ever written for whatever purpose

   C 9 8

5. pb173 pb173 Public

   pb173 course examples

   C 6 10

6. kernedu kernedu Public

   Helper for understanding kernel internals

   C 6