ptroja/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
Developer Profile
ptroja
Discovered public repositories for ptroja in the GitHub catalog.
ptroja/Stage
Mobile robot simulator
ptroja/formal-numerics
Ada/SPARK formal numerics package
ptroja/spark-navigation
Robot navigation algorithms implemented in SPARK
ptroja/DCL_CvBasic
Basic OpenCV-based components
ptroja/DisCODeCore
Public repository.
ptroja/control-modeler
MDE tools for robot control system design.
ptroja/player-ada
Ada bindings for the player robotic platform
ptroja/subsumption
Subsumption robot control architecture workbench
ptroja/specagent
multi-agent specification workbench
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
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