BRL-CAD is a powerful constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing support for rendering and geometric analysis, path-tracing for realistic image synthesis, network distributed framebuffer support, and image and signal-processing tools.
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
G3D is a C++ library for game developers, researchers, and students. It is a base of robust and high performance code common to most 3D projects. It is not a stand-alone graphics or game engine, but is a set of pieces to jump start your own engine or graphics project. The library has two parts: G3D for pure math, and GLG3D for interacting with hardware acceleration via OpenGL. You can use G3D without GLG3D if you want to use another 3D API (like DirectX) or don't like the OpenGL abstraction.
Howie is an artificial intelligence agent with a natural language interface (a "chatterbot"). It is designed to be simple to install, configure, and extend. The emphasis is less on simulating a human conversation, and more on providing a "virtual assistant" which provides useful services to visitors through a natural, conversational interface.
VXL is a set of portable C++ libraries designed for computer vision research and implementation. Numerics, imaging, and geometry are provided by stand-alone core libraries, with easy to use APIs and sophisticated processing algorithms. Other libraries provide stereo, video, structure from motion, probability modeling, GUI design, classification, robust estimation, feature tracking, topology, 3d imaging, and much more. It is written and used by an international team from academia and industry.
Brook for GPUs is a compiler and runtime implementation of the Brook stream programming language for modern graphics hardware. The goals for this project are to demonstrate general purpose programing on GPUs, to provide a useful tool for developers who want to run applications on GPUs, and to research the stream language programming model, streaming applications, and system implementations.
jAscom is a wrapper around the JACOB (JAva-COM Bridge) libraries for easy access to the ASCOM Platform 3.0 using Java. It provides all functionality (methods and properties) of the ASCOM Telescope API version 2. It also includes the Focuser and Dome API. This means easy and fast coding of Java applications for all sorts of telescope controlling problems, using a widely accepted standard.
Gabedit is a graphical interface for the FireFly, Gamess-US, Gaussian, Molcas, Molpro, MPQC, NWChem, OpenMopac, ORCA, and Q-Chem computational chemistry packages. It includes a 3D molecule editor and viewer. Most major molecular file formats are supported, and graphics can be exported in many formats.