Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
GRASS (the Geographic Resources Analysis Support System) is a software raster- and vector-based GIS (Geographic Information System), image processing system, graphics production system, and spatial modeling system. It contains many modules for raster data manipulation, vector data manipulation, rendering images on the monitor or paper, multispectral image geocoding and processing, point data management and general data management. It also has tools for interfacing with digitizers, scanners, and the PostgreSQL, DBF, and ODBC connected databases. GRASS operates on all common operating systems.
JReferences is a program written in Java for managing bibliographic references in the BibTeXML format. Storage is done in a binary file database or, optionally, in a MySQL database. A PHP Web frontend is available. It can input BibTex, RIS, BibTeXML, and DocBook formated references.
ROOT is an OO framework for large-scale scientific data analysis and data mining. It contains an efficient hierarchical OO database, a C++ interpreter, advanced statistical analysis, visualization, introspection, documentation, networking, and GUI classes. The command/scripting language is C++, and large scripts can be compiled and dynamically linked in. Using the PROOF (Parallel ROOT Facility) extension, large databases can be analyzed in parallel. The system runs on all known POSIX platforms, Windows, and MacOS X.
WordNet® is an on-line lexical reference system whose design is inspired by current psycholinguistic theories of human lexical memory. English nouns, verbs, adjectives and adverbs are organized into synonym sets, each representing one underlying lexical concept. Different relations link the synonym sets.
The Chemistry Development Kit (CDK) is a library of Java classes for chemo-, bioinformatics, computational chemistry, and chemometrics. It provides important algorithms like substructure search, SMILES, Gasteiger charges, QSAR descriptor calculation, 3D structure generation, 2D layout and rendering, many IO formats, atom typing, and more.
FramerD is a semi-structured object database integrated with a Scheme-based scripting language which supports multi-lingual programming (with pervasive Unicode), a stable module system for programming in the large, distributed applications (via an extensible RPC protocol), non-deterministic (PROLOG-like) evaluation for search and set operations, multi-threaded program execution, extensive tools for text and language analysis, built-in HTML/XML/MIME parsers, and intuitive (CGI- and FastCGI-based) Web scripting. The built-in object database robustly supports millions of objects and indexed access to those objects, both through disk files and networked servers.
The libmba package is a collection of mostly independent C modules potentially useful to any project. There are the usual ADTs including a linkedlist, hashmap, pool, stack, and varray, a flexible memory allocator, CSV parser, path canonicalization routine, I18N text abstraction, configuration file module, portable semaphores, condition variables, and more. The code is designed so that individual modules can be integrated into existing codebases rather than requiring the user to commit to the entire library. The code has no typedefs, few comments, and extensive man pages and HTML documentation.