RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
This jQuery plugin allows you to quickly and easily add mapping to your website. It has been designed from the beginning to handle lots of markers, lots of layers, and custom marker icons. The plugin can also manage sidebars for you.
A MUD "totally" written in Perl. It runs an engine which relies on a extensible Perl MudLib and interprets user-programmable scripts in a fashion that reminds the old-time LPC MUD, but now everything is in Perl. It uses Perl v.5.10.0 and SQLite 3.3.7.
Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
A library with implementation of algorithms for solving Lot Sizing problems. The main focus of the library is on ease of use, while also attempting to keep it as efficient as possible.
Small simulation that can drive a CIGI compliant IG to do EOIR sensor simulation. This is based on the OpenEaagles framework (HOST) and the MultiPurposeViewer (IG).
A LGPL library to handle xml documents in a DOM-like style. It's designed for LOW-performance systems (like embedded ones) and for lightly handle very large documents, automatically speeding up memory management in a user tunable style.
The BlueDecode frame work is an Open Source Third Party Java Library used for developing more interactive and customized 2D graphical user interfaces in Java using a MVC and object oriented programming approach.
Combean is a Java framework for mathematical structures and optimization algorithms. Through a set of Java interfaces and JavaBeans-based config, Combean glues optimization codes together - leading to more interoperable, adaptable and flexible solutions.
A free rendered GUI library providing windowing and widgets for the easy creation of HUDs for games. It supports themes/skinning, XML-based configuration, and works with any graphics API or rendering engine including Axiom, Irrlicht, and SDL.NET.
Here is a repository of libraries automatically generated by Patlac::Xml2cpp software.
All of these libraries are c++ translation of their respective xsd schema. They include classes with accessors, saxparser with iteration mode and xml serialization.
BITXml is an open xml based protocol for Machine to Machine communications. BITXml is both language and "transport" agnostic and covers all the requirements of a generic M2M telemetry & control application. For more info www.bitxml.org
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
Verdantium is an OpenDoc-like compound-document framework, and an open-source alternative to frameworks underlying OpenOffice, StarOffice, Corel Office, and Microsoft Office. Written in JUndo / Java JFC/Swing/Java-2D See http://verdantium.blogspot.com/
ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
Multired is middleware for automatic dynamic generation of multi-resolution representations for large spatio-temporal databases. It also provides an API which uses the middleware to support user-guided navigation of spatiotemporal data.
The ESCL is a class library that can be used to develop electronic structure codes like those that are used in computational condensed matter physics. An object-oriented approach is suitable since real-world items like atoms and electrons are modeled.