Kurt Nistelberger's repositories
aisy
AIGER based synthesizer using BDDs
Language:CNOASSERTION000
angr-doc
Documentation for the angr suite
Language:Python000
GoogleSpeechAPI
Simple Project which use the Speech API from Google
Language:C#000
MealDiary
Simple iOS App to store meals and give them a score. Just for first Swift experiences :)
Language:SwiftMIT000
NeuralNet
Simple NeuralNet from a Tutorial
Language:C++000
PIGPIOPins
use the GPIO-Pins in C-Code
Language:C++Apache-2.0000
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.
Language:C++NOASSERTION000