Timotej Kapus's repositories
testSymExec
A framework for testing symbolic executors
klee-uclibc
klee-uclibc
llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
Movie-Commander
A two part application written in flex that lets you start a movie on a adobe air enabled machine (preferably connected to a TV) from the comfort of your couch