Pinned Repositories
cobertura
Cobertura
debuggingbook
Project page for "The Debugging Book"
docker-client
A simple docker client for the JVM
docker-java
Java Docker API Client
klee
KLEE Symbolic Virtual Machine
llvm-2.9
KLEE (http://klee.github.io/klee/) needs LLVM-2.9, but it does not compile, due to a missing include. I added this include.
pyntch
Python static analyzer
rust-zmq
Rust zeromq bindings.
stp
Simple Theorem Prover.
llvm-2.9
KLEE (http://klee.github.io/klee/) needs LLVM-2.9, but it does not compile, due to a missing include. I added this include.
alexkamp's Repositories
alexkamp/docker-java
Java Docker API Client
alexkamp/cobertura
Cobertura
alexkamp/debuggingbook
Project page for "The Debugging Book"
alexkamp/docker-client
A simple docker client for the JVM
alexkamp/klee
KLEE Symbolic Virtual Machine
alexkamp/llvm-2.9
KLEE (http://klee.github.io/klee/) needs LLVM-2.9, but it does not compile, due to a missing include. I added this include.
alexkamp/pyntch
Python static analyzer
alexkamp/rust-zmq
Rust zeromq bindings.
alexkamp/stp
Simple Theorem Prover.