OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
MayaVi is a free, cross platform, easy-to-use scientific data visualizer. It provides a powerful GUI to ease the visualization process. It is written in Python and uses the Visualization Toolkit (VTK) for the graphics. MayaVi can be scripted from other Python programs and also from the interactive Python interpreter. MayaVi includes the VTK Pipeline browser. The VTK Pipeline browser is a Python module (vtkPipeline) that enables one to view and configure the objects in the VTK pipeline graphically with a Tkinter-based GUI. The browser should work for any Python script that uses VTK. MayaVi also provides classes to pickle a VTK object and a simple class documentation browser.
OpenAI is a project which is centred around the advancement of Artificial Intelligence. The project itself is geared toward developing specifications for AI and a default implementation for a set of well known AI tools. This is OpenAI's Neural Network release. The software is written in Java and is built in a modular fashion so that new algorithms and learning rules can be created. Configuration and persistence will be done through XML and a CORBA interface is provided for applications that wish to incorporate the technology.
The OpenAI project is centered around the advancement of Artificial Intelligence. It is geared toward developing specifications for AI and a default implementation for a set of well-known AI tools. The genetic algorithm is written in Java and is built in a modular fashion so that new algorithms and evolution rules can be created.
QuantLib is a cross-platform, quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. It is also wrapped as Python/Ruby/Scheme modules. Extensions for Excel, R, and Mathematica are available. Other such extensions are under consideration. QuantLib offers tools that are useful both for practical implementation and for advanced modeling. It features market conventions, yield curve models, solvers, PDEs, Monte Carlo (low-discrepancy included), exotic options, VAR, and so on.
The OpenAI site is centered around an Open Source project and community involving artificial intelligence. The project itself is the creation of a set of tools that are considered to be models of human intelligence or biomimicry. These tools are intended to be integrated into applications or used stand alone for research.