kren1

tosheets

Send your stdin to google sheets

klee

KLEE Symbolic Virtual Machine

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

Palpitate

testSymExec

A framework for testing symbolic executors

zcov

Code coverage reporting tool

erlang_py

Erlang External Term Format for Python

HaskellRPSLS

klee-uclibc

klee-uclibc

klee.github.io

kren1.github.io

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-clang-samples

Examples of using the LLVM and Clang compilation libraries and tools

loops

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

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.

SVF

Pointer Analysis and Program Dependence Analysis for C and C++ Programs

SVF-3.4

SVF / LLVM 3.4 port

webGPIO