Applicative Common Lisp, multipurpose system. Most common uses: language for programming, specification, modeling; a formal mathematical logic, semi-automatic theorem prover. [Open Source, GPL]

Visual parallel programming system, composes sequential programs into parallel programs for shared-memory multiprocessors and workstations running MPI or PVM.

The future of software development lies in automating rote tasks. We are exploring different ways in which software development can be automated, productivity increased, and software quality improved.

Professor and Chairman, Department of Computer Sciences, The University of Texas at Austin. Research interests include the representation of commonsense and expert knowledge, with an emphasis on the effective use of incomplete knowledge. Recent accomp...

University of Texas group working on spatial semantic hierarchies, vision recognition systems, manipulators, and mobile robots.

The Simple Provisional Language for Actions and Tasks provides both a language for specifying control laws and a runtime environment for executing and monitoring them. Based on RScheme. SPLAT is Free Software licensed under the GNU GPL.

Simulates an RWI circular, sonar-guided robot in a flat 2D world. Includes a physical simulator, sonar, and laser rangefinder simulators. The simulated robot has internal odometry, one or two laser rangefinders, and 12 sonar sensors. You can design yo...