Pinned Repositories
config
crest
CREST is a concolic test generation tool for C.
csmith
Csmith, a random generator of C programs
DotsAI
AI for playing dots
dqn-replicate
klee
KLEE Symbolic Virtual Machine
Palpitate
testSymExec
A framework for testing symbolic executors
tosheets
Send your stdin to google sheets
zcov
Code coverage reporting tool
kren1's Repositories
kren1/tosheets
Send your stdin to google sheets
kren1/klee
KLEE Symbolic Virtual Machine
kren1/config
kren1/crest
CREST is a concolic test generation tool for C.
kren1/csmith
Csmith, a random generator of C programs
kren1/DotsAI
AI for playing dots
kren1/dqn-replicate
kren1/Palpitate
kren1/testSymExec
A framework for testing symbolic executors
kren1/zcov
Code coverage reporting tool
kren1/erlang_py
Erlang External Term Format for Python
kren1/HaskellRPSLS
kren1/klee-uclibc
klee-uclibc
kren1/klee.github.io
kren1/kren1.github.io
kren1/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
kren1/llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
kren1/loops
kren1/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
kren1/pdx-tools
View maps, graphs, and tables of your save and compete in a casual, evergreen leaderboard of EU4 achievement speed runs. Upload and share your save with the world.
kren1/SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
kren1/SVF-3.4
SVF / LLVM 3.4 port
kren1/webGPIO