ChipVault is a chip development program for organizing VHDL and Verilog designs. ChipVault displays designs hierarchically and provides for rapid design navigation and editor launching. ChipVault provides hooks for performing bottom-up tasks such as launching RTL compilers, synthesis, block generation and instantiation, and includes simple to use Revision Control and Issue Tracking systems to help facilitate large group design projects with multiple designers and hundreds of design files. ChipVault is written in Perl and is small, fast, and efficient.
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.
Clustertech Parallel Environment (CPE) is a C++ software toolkit for developing MPI-based parallel applicatons. Its ParaConnect module provides a seamless front-end integration to launch and control parallel applications on a grid or a cluster. It also provides application-level libraries including Monte Carlo and Finite Difference with optimized parallelization algorithm.
Coin is an implementation of Open Inventor. Open Inventor is the de facto standard API for retained-mode 3D graphics programming. Open Inventor has a highly extensible design, and has been designed to allow for rapid development of highly interactive 3D graphics applications in the fields of CAD, engineering, scientific computing, simulation, VRML, and visualization.
The National Space Science Data Center's (NSSDC) Common Data Format (CDF) is a self-describing data abstraction for the storage and manipulation of multidimensional data in a platform- and discipline-independent fashion. It consists of a scientific data management package (known as the "CDF Library") that allows programmers and application developers to manage and manipulate scalar, vector, and multi-dimensional data arrays.
Condorcet with Dual Dropping is a ranking system for deciding single or multi-winner contests (elections) using voted preference (or approval) ballot list or pairwise tally matrix. It computes the Cloneproof Schwartz Sequential Dropping (CSSD) and Tideman's Ranked Pair (RP) results for each contest round, and selects the combined CSSD and RP outcome with the lowest overall dropping cost. There are options to compute just the CSSD, RP, or Minimum Dropping Cost outcome, various optional pair rank and winner tie-breakers, and alternative measures of dropping cost (winning votes and/or margin). It comes as a console program and CGI executable.
Connect-k is a framework for experimenting with and testing general AIs for games within the connect-k family. This includes Tic-Tac-Toe, Go-moku (without removal rules), and Connect-6. The program features an attractive GTK+ interface, a convenient API, and several challenging AIs.