Object-oriented Lisp-based programming system designed specifically for the development of robotics software.
http://www.etl.go.jp/~matsui/eus/
Official production releases and source code from the now defunct Nomadic Technologies, Inc. Source code to all drivers, libraries and applications is now under the GNU GPL license.
http://nomadic.sourceforge.net/
3D Soccer simulation that uses teleo-reactive programming to expose the fundamental ideas involved in the creation of autonomous agents to students. Proprietary software for Microsoft Windows. May be downloaded and used without charge for education purposes only.
http://www.trsoccerbots.org/
Simultaneous Localization and Mapping (SLAM) software that generates a map called a generalized Voronoi graph (GVG). Written in C.
http://voronoi.sbp.ri.cmu.edu/projects/prj_hslam.html
Software for video metrology, non-contact measurement, gauging, machine and automation.
http://www.zview.com
ARIA is an OO C++ library for controlling ActivMedia mobile robots. Provides dynamic control of velocity, heading, and other navigation settings as well as I/O bus, gripper, pan-tilt, and bumpers. ARIA is Free Software licensed under the GNU GPL.
http://www.activrobots.com/SOFTWARE/aria.html
A complete Unmanned Aerial Vehicle (UAV) control system with 3 axis IMU/INS+GPS. Autopilot is Free Software and, along with the associated hardware designs, is licensed under the GNU GPL.
http://autopilot.sourceforge.net/
Software and services in wide range of application areas focusing on "Image Understanding." Website has regular news updates.
http://www.image-metrics.com