ptroja's Stars
joakim-strandberg/aida_2012
vuvova/gdb-tools
Various tools to improve the gdb experience
damaki/gnatprove2xls
Convert GNATprove report files to an XLS spreadsheet
ptroja/player-ada
Ada bindings for the player robotic platform
ptroja/subsumption
Subsumption robot control architecture workbench
ptroja/specagent
multi-agent specification workbench
mosteo/player-ada
Ada bindings for the player robotic platform
ptroja/libcan
temporary repository for existing ETHZ-ASL CAN library
ptroja/libepos
temporary repository for existing ETHZ-ASL EPOS library
ptroja/DisCODe
DisCODe - Distributed Component Oriented Data Processing
ptroja/voronoi
Tool for computing Voronoi path for a mobile robot
DisCODe/DisCODe
DisCODe - Distributed Component Oriented Data Processing
ptroja/jpar
Parallel extenstion to Matlab using Java
ptroja/qnx-cross
Libraries and header files required for cross-compiling QNX software
ptroja/orocos-ocl
Orocos Component Library
ptroja/orocos-rtt-qnx
Orocos Real-Time Toolkit
ptroja/mrrocpp
Multi-Robot Research Oriented Controller
ptroja/tilemap
Tile Map Viewer
zeromq/libzmq
ZeroMQ core engine in C++, implements ZMTP/3.1
psoetens/orocos-rtt
Orocos Real-Time Toolkit
psoetens/orocos-ocl
Orocos Component Library