OStatic

GGI stands for General Graphics Interface , and it is a project that aims to develop a reliable, stable and fast graphics system that works everywher...

A program for converting between physical units, such as feet and meters. There is a Java library, for use in Java applications, and a PalmOS applicat...

Bibliophile is a loose grouping of independent OS or GPL bibliographic systems and aims at promoting discussion, standards and the development of comm...

BDR (Beowulf Design Rules) is a vendor-neutral software tool that quickly evaluates millions of alternative architectures to determine the best cluste...

Calc2LaTeX is an OpenOffice.org Calc (Spreadsheet) macro for converting tables. It makes making tables on LaTeX very easy.

ManTa is an equational specification language and tools to support it: theorem prover, code generators (C and Ocaml), frontends.

List of US ZIPCODES and Distance between ZIPCODES using latitude and longitude (Great Circles) as a simple Excel function. Database, ZIP, LATITUDE and...

sCal: a small, scientific, script programmable calculator--for & in JavaScript. sCal2: an expansion giving a function/program catalog system with...

Object Oriented Python bindings for the Message Passing Interface (MPI)

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the internatio...