epsallida

KEWAZO GmbHMunich, Germany

Pinned Repositories

llvm-datalog
A tool that exports LLVM bitcode into a Datalog workspace.
Language:Shell20
dynamixel-workbench
ROS packages for Dynamixel controllers, msgs, single_manager, toolbox, tutorials
Language:C++00
flask-menu
Flask-Menu
Language:Python00
install-klee
Step by step manual for building KLEE
Language:Shell02
invenio
Invenio source code mirror. Please use Trac for collaborating.
Language:Python00
invenio-demosite
Invenio demo site overlay. Please use Trac for collaborating.
Language:Python00
klee
Fork for implementing directed symbex
Language:C++00
kotlin-workshop
Kotlin, Advanced topics in programming languages, 5-day workshop
Language:Kotlin00
opencv_contrib
Repository for OpenCV's extra modules
Language:C++00
real-mario-kart
Real-mario-Kart at Munich TechFest 2016
Language:Arduino00

epsallida's Repositories

epsallida/opencv_contrib
Repository for OpenCV's extra modules
Language:C++
epsallida/dynamixel-workbench
ROS packages for Dynamixel controllers, msgs, single_manager, toolbox, tutorials
Language:C++
epsallida/klee
Fork for implementing directed symbex
Language:C++
epsallida/kotlin-workshop
Kotlin, Advanced topics in programming languages, 5-day workshop
Language:Kotlin
epsallida/real-mario-kart
Real-mario-Kart at Munich TechFest 2016
Language:Arduino
epsallida/install-klee
Step by step manual for building KLEE
Language:Shell2
epsallida/invenio
Invenio source code mirror. Please use Trac for collaborating.
Language:Python
epsallida/flask-menu
Flask-Menu
epsallida/invenio-demosite
Invenio demo site overlay. Please use Trac for collaborating.
Language:Python
epsallida/llvm-datalog
A tool that exports LLVM bitcode into a Datalog workspace.
Language:Shell2