Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
TkGate is an event-driven digital circuit simulator with a TCL/Tk-based graphical editor. It supports a wide range of primitive circuit elements and user-defined modules for hierarchical design. The distribution comes with a number of tutorial and example circuits which can be loaded through the "Help" menu, and the example circuits include a simple CPU, programmed to run the Animals game. TkGate has multi-lingual support for English, Japanese, French, German, Spanish, Welsh, and Catalan.
Sequoia provides high availability and performance scalability for databases. It is is the continuation of the C-JDBC project. It provides transparent database clustering (partitioning, replication, etc.). It works with any Java application without code modification and with any database engine. It has been successfully tested with Tomcat, JBoss, JOnAS, WebSphere, MySQL, PostgreSQL, Apache Derby, HSQLDB, SAP DB, Oracle, DB2, Sybase, MS SQL Server, Firebird, and more.
GeoServer is a software server that allows users to share and edit geospatial data. Designed for interoperability, it publishes data from any major spatial data source using open standards. GeoServer is the reference implementation of the Open Geospatial Consortium (OGC) Web Feature Service (WFS) and Web Coverage Service (WCS) standards, as well as a high performance certified compliant Web Map Service (WMS). GeoServer forms a core component of the Geospatial Web.
Invenio (formerly CDSware) is a suite of applications that provides the framework and tools for building and managing an autonomous digital library server. It complies with the Open Archives Initiative metadata harvesting protocol (OAI-PMH) and uses MARC 21 as its underlying bibliographic standard. Its flexibility and performance make it a comprehensive solution for the management of document repositories of moderate to large size.
openPLM is a Web-based Product Lifecycle Management (PLM) application. It provides a configuration management system that manages all kind of files and data as documents in a product structure. It supports documents, parts, BOMs, part-document links, electronic signatures for objects, revision management, check in and check out for all files, plain text search using the Xapian engine, navigation between objects using Graphviz, and user management that allows sponsorship, delegation, and rights. Plug-ins are available for Thunderbird, OpenOffice/LibreOffice, FreeCAD, and Gedit.