Timotej Kapus's repositories
testSymExec
A framework for testing symbolic executors
erlang_py
Erlang External Term Format for Python
MIT000
klee-uclibc
klee-uclibc
Language:HTMLNOASSERTION000
Language:HTML000
llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
Language:C++000
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
000
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.
Language:TypeScriptAGPL-3.0000