Agena is an interpreted procedural programming language.
The free computer aided translation (CAT) tool for professionals
Tools to process and visualize scientific data and images
Open Source Solid Modeling CAD
Calc: arbitrary precision C-like arithmetic & calculator
For full, incremental, compressed and encrypted backups or archives
Cluster wide IPC providing datagram, connection, and bus messaging
A promising chess program
Fault tolerant, POSIX-compliant, Net Distributed Storage / File System
fast C++ library for GPU linear algebra & scientific computing
General data-reduction tool for fiber-fed integral-field spectrographs
Intellect Modeling Kit: assisting research, diagnostics, consulting
High-speed, 3D-friendly, TightVNC-compatible remote desktop software
Interactive geometry software for Euclidean and non-Euclidean spaces
A collection of machine-checkend mathematical proofs