hdjay2013's repositories
xv6-public
xv6 OS
antlr4-short-course
ANTLR 4简明教程
bash-completion
Programmable completion functions for bash
cclyzer
A tool for analyzing LLVM bitcode using Datalog.
doop-pldi15-tutorial
Tutorial site for PLDI 2015
editor
Editor for writing books using GitBook (for Windows, Mac and Linux)
flex
The Fast Lexical Analyser
GenerateControlFlow
Using soot to generate control flow
jphantom
A tool for Java program complementation.
lcc
The lcc retargetable ANSI C compiler
ninja
a small build system with a focus on speed
Qilin
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
slang-python
Python Port of SLANG.NET Compiler http://slangfordotnet.codeplex.com/
slang4JVM
Slang's java port with bytecode generation support
soot
Soot - A Java optimization framework
synchrobench
A benchmark to compare synchronization techniques for multicore programming
The-Art-Of-Programming-By-July
此为《程序员编程艺术:面试和算法心得》的初稿,于14年6月转移到Word上优化,纸质版15年上市
UCASthesis
a LaTeX template for UCAS (Currently support ICT and IIE, please find IIE version in branches.)
WALA
T.J. Watson Libraries for Analysis
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
z3
The Z3 Theorem Prover