1. Formal Sciences

1.1. Computer Science

FlowDesigner - a free (GPL/LGPL) data-flow oriented development environment.

dispatcher - a short time scheduler simulator.

MOMHVis - (Multiple-Objective MetaHeuristics Visualization) is a program for displaying nondominated solutions of MOMH problems in 3D space using OpenGL.

1.1.1. Algorithms & Data Structures

jaga - a genetic algorithm package written in Java.

1.1.2. Programming

Eclipse - a software platform comprising extensible application frameworks, tools and a runtime library for software development and management. It is written primarily in Java to provide software developers and administrators an integrated development environment (IDE)

Guido von Robot - Simple computer language to help students learn programming

Little Wizard - A development environment for children.

PicoForge - Collaborative work platform (forge) integrating libre software applications

VisualOS - An educational visual simulator of an operating system

mdk - Emulator and development environment for Knuth's MIX computer

1.1.3. Programming Languages

mindscript - an open source RAD-based visualisation and programming software suite. Its also an interpreter tool for executing pre-made Mindscript programs, integrated into the Operating System

Moto - a server-side programming language much like PHP or JSP. The primary difference between Moto and server-side scripting languages is that Moto pages can run interpreted (like PHP) or be natively compiled into dynamically loadable Apache modules (an entire Web site could be compiled into one .so file)

Nemesis Pascal Virtual Machine - a Pascal interpreter that is Free, Open Source (GPL), Cross-platform (currently Windows and Linux). Nemesis Pascal is written in Delphi and Kylix. Borland CLX libraries supplies the cross-platform features. The Nemesis Pascal applications runs on Windows using native controls, and Linux using the CLX Library (a binding to Qt Trolltech)

newLISP - newLISP for LINUX, FreeBSD, Mac OSX and Win2k/XP: small, 230+ functions, a 'C', MySQL, ODBC, TCP/IP, XML and Tcl/Tk interface, full string processing, regular expressions , math, financial and statistical functions, multiple namespaces, fast

ocaml - Caml is a programming language, easy to learn, easy to use, and yet amazingly powerful. This language builds on the long tradition of functional languages at universities around the world but this is a very practical implementation.

Perl - a high-level, general-purpose programming language that makes easy things easy and hard things possible. It is optimized for scanning arbitrary text files and system administration. It has built-in extended regular expression matching and replacement, a dataflow mechanism to improve security with setuid scripts and is extendable via modules that can interface to C libraries

PHP - a widely-used Open Source general-purpose scripting language that is especially suited for Web development and can be embedded into HTML. Its syntax draws upon C, Java, and Perl, and is easy to learn. PHP runs on many different platforms and can be used as a standalone executable or as a module under a variety of Web servers

Python - an interpreted, interactive, object-oriented programming language. It combines remarkable power with very clear syntax, and isn't difficult to learn. It has modules, classes, exceptions, very high level data types, and dynamic typing

Ruby - a language for quick and easy programming. Similar in scope to Perl and Python, it has high-level data types, automatic memory management, dynamic typing, a module system, exceptions, and a rich standard library

Tcl - Tcl/Tk 8.4 is easy to learn and highly flexible. The Tcl interpreter and its graphical Tool Kit, Tk, adapt and run identically on many platforms

1.1.4. Artificial Intelligence

Charlemagne - Genetic programming application

CellWriter - a grid-entry natural handwriting input panel.

clipsmm - a C++ interface to the CLIPS C library for rule-based and object based expert systems

Conway's Game of Life - Conway's cellular automaton Game of Life

deduce - AI program which accepts natural language sentences as input

Discrete Event Calculus Reasoner - A common-sense reasoning program

dbacl - Bayesian text classifier

FANN - Implements multilayer feedforward ANNs much faster than other libraries

FlowDesigner - a free (GPL/LGPL) data-flow oriented development environment.

GNOWSYS - Hybrid database server with a kernel for semantic computing

GERvoice - (Gnome Environment Recognition voice) allows the basic navigation of the Gnome desk top through oral commands and can be used by the disable people to accede to the technologies of the information and communication

Ikaros - Framework for writing and running simulators

Natural Language Toolkit - Toolkit for writing programs that process natural language

Neural Network Framwork - simulate and analyze arbitrary complex neural networks

Noble Ape Simulation - creates a random environment and simulates the ape inhabitants' cognitive processes. It features the Ocelot landscape rendering engine.

OpenBEAGLE - Evolutionary computation framework

OpenMAD - Nuclear war simulator

PCP - Machine learning program for pattern classification

PyCLIPS - Integrates CLIPS functionality into Python

poker-engine - Library that implements poker rules

Ruby-Chess - Ruby Chess is a chess game implemented in Ruby using GTK2

1.1.5. Computer Graphics

Plotutils - Plotting and graphics utilities

Stereograph - Stereogram generator

XPM - Format for storing/retrieving X pixmaps

Xmorph - Image morphing program

Zinc - Tk graphical widget

giv - An image and vector viewer.

1.1.6. Networks

Netdisco - Network management and discovery tool

Psiphon - Help trusted friends and family members surf the Net freely and securely

Wireshark - network traffic analyser

FTester - Firewall Tester

Tor - anonymizing overlay network for TCP

Nessus - Remote network security auditor, the client

Snort - Flexible Network Intrusion Detection System

I2P - Anonymizing network

Nokto - web server security scanner

Mixmaster - Anonymous re-mailer client and server

TorK - anonymity manager for KDE

nmap Front End - The Network Mapper Front End

nmap - The Network Mapper

KNmap - nmap graphical interface for KDE

Air Defense Enterprise - Wireless LAN Security and WLAN Monitoring

JAP - surf the internet anonymously and unobservably

Vidalia - cross-platform controller GUI for Tor

sshguard - protects from brute force attacks against ssh

BlockHosts - Automatic blocking of abusive IP hosts

PSAD - The Port Scan Attack Detector

Oinkmaster - Snort rules manager

Nipper - performs security audits of network device configuration files

1.1.7. Computer Security

Libcrypt - Cryptographic library

Password - generates random passwords

Publimark - A public key steganographic tool for audio.

Samhain - File system integrity checker

Silk Tree - makes master modifications in /etc

cryptmount - A tool for setup and on-demand mounting of encrypted filesystems under GNU/Linux.

procwatch - Watches a /proc filesystem for new messages

sharesecret - Splits and recalculates secrets

1.2. Mathematics

1.2.1. General

ATLAS - Generates high-performance mathematical libraries

bitwise enums - Type safe bitwise enumerations for C++

BigMath - Light Weight, Fast Code for Arbitrary Precision Arithmetic

Calc - C-style arbitrary precision arithmetic system

Cactuscode - A portable framework for developing parallel applications.

choose - Computes permutations and "choose functions"

CrocoPat - Tool for relational querying

E - Automated theorem prover

Elca - AutoElca (Extended Line Calculator) is a real-time Perl calculator (i.e., it evaluates expressions immediately as you type them).

EasyMaths - EasyMaths is a mathematics package for Linux / Symbolic Computation.

Easyval - Basic implementation of interval arithmetic

Easy Funktion - Function plotter and equation solver in a comfortable office-like application

Euler - Program for computing with real and complex numbers and matrices

Equation Grapher - 2D implicit equation grapher

Freeplot - a simple mathematical program that plots 2-D functions written in Python. It provides an easy to use interface and a powerful graphing mechanism that allows the user to understand what he is doing at all times

3gdata - A program for extracting data from graphs

GeoGebra - dynamic mathematics software for schools

Genius - Arbitrary precision integer and multiple precision floating point calculator

Glet - a simple little expression evaluating calculator for the gnome panel. It allows you type in simple expressions like '1+1' or sin (3.141), and quickly get a result

Gnofract 4D - Gnofract 4D is a program which allow you to create beautiful mathematically-based images called fractals

GraphThing - GraphThing is a tool that allows you to create, manipulate, and study graphs

Gnome Turtle - A turtle and lsys fractal drawing program for GNOME

gnumexp - A graphical math/plotting program

GNU libmathlevel - Library for evaluating mathematical expressions

GSL - Routines for numerical computing

qliss3d - a program to display 3d Lissajous figures

Gonvert - Units conversion utility

gri - Gri is an extensible plotting program designed for scientists

Graphix 2006 - A bivariate function plotter

GtkMathView - A GTK+ widget for rendering MathML documents

Hessina GTK - Calculates the local minimum/maximum/saddle point of a second grade math function

IT++ - C++ library of mathematical, signal processing, speech processing, and communications classes and functions.

KBrunch - fraction calculation teaching tool for KDE

kinectus - Kintecus calculates values at exactly the times you specify in your experimental datafile.

KLab - User-friendly plotter/GUI for Rlab

Kiss FFT - Small and simple FFT library

KMPlot - mathematical function plotter for KDE

KPercentage - percentage calculation teaching tool for KDE

L2P - Creates PNG images from LaTeX math expressions

Lcalc - A simple 4-operation calculator for Linux.

Math War - A flash card game designed to teach maths

Math-o-Matic - Mathomatic is a small, portable symbolic math program.

MathProg - MathProg is a collection of console math programs that can do a variety of things.

Mathutils - Mathutils is a collection of math & statistics shell utilities that are small and single purpose.

MCS Libre (Mote-Carlo Simulation) - utility for Monte-Carlo simulation

MUNTL - Multiprecision unsigned number template library

Math::MatrixReal - Manipulate NxN real matrices

Mst - Calculates a minimum spanning tree from a undirected, weighted graph

mcsim - Simulation software for designing, analysing and calibrating mathematical models

nMod nBody Modelling Toolkit - Particle-particle nbody model

NumExp - Math-oriented programming language

NumericalChameleon - A very powerful unit conversion utility

Numdiff - Numdiff compares putatively similar files line by line and field by field, ignoring small numeric differences or/and different numeric formats.

Octave - High-level language for numerical computations

actave-ann - use the ANN library from within Octave

Pdl - Turns Perl into an efficient numerical language for scientific computing.

pdnMesh - A finite element mesh generator and solver for Poisson and Helmholtz equations heatflow, electromagnet, waveguide problems

pi - pi is a program to calculate pi using a limes process.

Plotutils - Utilities for plotting scientific data

ProofGeneral - Emacs-based frontend to a variety of theorem provers

PyGSL - Python interface for GNU Scientific Library

Qalculate! Bases - Qalculate! Bases is a small number base converter

Rascal - Rascal, the Advanced Scientific CALculator, is a platform-independent modular calculator.

rcalc - rcalc is a fast and light symbolic calculator for GNOME.

RKCkeck - Checks the order of Runge-Kutta methods

roots - roots calculates the roots of a quadratic equation, using Newton's Method.

Reverse Polish Lisp/2 - an extension of RPL, including graphic capability

Rpncalc - RPN calculator emulating H-P 28S

sage - SAGE is free and open software that supports research and teaching in algebra, geometry, number theory, cryptography, etc.

Social network visualiser - SocNetV: Lets the user visualise and interact with network data either in PAJEK format or in sociom

spar - A scientific calculator

Spline - Akima spline interpolation

Sturm - A Java implementation of the Sturm Theorem, which finds the number of roots of any polynomial using Euclidian divides

scilab - Scilab is a scientific software package for numerical computations

scigraphica - SciGraphica is a scientific application for data analysis and technical graphics.

slib - Portable scheme library

TuxMath - math game for kids with Tux

UMFPACK - Routines for solving unsymmetric sparse linear systems

universal crc - utility for generating optimized ANSI C code for CRC calculation

X Abacus - simulation of the ancient calculator (Motif version)

Zimpl - Translate the mathematical model of a problem into a linear or (mixed-) integer mathematical program

1.2.2. Algebra

Axiom - Axiom is a general purpose Computer Algebra system

BLAS - Basic Linear Algebra Sub-programs

Gmath - Computer Algebra Environment

gap - Groups, Algorithms, and Programming (GAP) is a system for computational discrete algebra with particular emphasis on computational group theory and related areas

Maxima - A computer algebra system -- base system

LAPACK - Linear Algebra PACKage

GAP - GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory

GGAP - GGAP is a GTK+ frontend for GAP computer algebra system

GeoGebra - dynamic mathematics software for schools

GTybalt - Computer algebra system

snac - SNAC's a Neat Algebraic Calculator for the GNOME desktop

yacas - Yacas (Yet Another Computer Algebra System) is a small and highly flexible computer algebra language

1.2.3. Calculus

GeoGebra - dynamic mathematics software for schools

1.2.4. Geometry

Dr. Geo - Dr. Geo is a GTK interactive geometry software

Geom - Interactive and extensible geometry application

GeoGebra - dynamic mathematics software for schools

OpenEuclide- OpenEuclide is a 2D geometry software

Macaulay 2- Software for algebraic geometry research

Mantissa- Algorithms for dynamics simulation and 3D geometry computation

Kig- interactive geometry program for KDE

KSEG - Euclidean geometry simulator

Xeukleides - System for drawing and viewing Euclidean geometry figures

1.2.5. Probability & Statistics

Apophenia - Statistics library for C

Autoclass - Automatic classification or clustering

Bc - Interactive algebraic language

dap - Statistics and graphics package

GNU R - a language for statistical computing and graphics

jmp - Statistical software for data analysis

mcsim - Simulation software for designing, analyzing and calibrating mathematical models

OpenEpi - OpenEpi is a project to create open source software for epidemiologic statistics in JavaScript and HTML, and can be run from the web site or downloaded and run locally

PSPP - Statistics package

Ploticus - Plotting/data display package

Plotutils - Plotting and graphics utilities

PyChem - A cross-platform multivariate analysis package, including a graphical user interface

R - for statistical computing and graphics

SalStat - Analyzes statistical (especially psychological) data

Statist - Statistics program

StatistX - GTK-based statistics program

Vilno - data transformation, prepare data for analysis, use for statistics, reporting or ETL.

1.2.6. Calculators

ASCEND - ASCEND is an equation solver and interactive mathematical modelling system for engineering and science problems

Gnumeric - Gnumeric is a spreadsheet intended to be a drop in replacement for proprietary spreadsheets

Qalculate! - Qalculate! is a Powerful, easy to use and multi-purpose desktop calculator for GNU/Linux

Genius - Genius is an arbitrary precision integer and multiple precision floating point calculator

gonvert - gonvert is a conversion utility that allows conversion between many units like CGS, Ancient, Imperial with many categories like length, mass, numbers, etc

gcalctool - Gcalctool is the default GNOME desktop calculator. It has Basic, Financial and Scientific modes

Calcoo - Calcoo is a scientific calculator designed to provide maximum usability

Easy Funktion - Function plotter and equation solver in a comfortable office-like application

galculator - galculator is a GTK 2 based scientific calculator supporting algebraic mode, RPN, and a formula entry mode

gdcalc - gdcalc is a financial, statistics, scientific and programmers calculator for Unix and Linux with both RPN and algebraic modes

GNU polyxmass - Mass spectrometric software suite for (bio)-polymers

GraphMonkey - GraphMonkey is a GTK#-based graphing calculator

Lybniz - Simple function graph plotter in Python

matrex - Matrex is a vectorial spreadsheet

Nonpareil - Nonpareil is a microcode-level simulator for HP calculators

NumericalChameleon - A very powerful unit converter with more than 3200 units in 82 categories with GTK+ 2 theme

rcalc - rCalc is a scientific calculator for the GNOME desktop environment with an innovative list-based user interface

TiEmu - TiEmu is a multi-platform emulator for Texas Instruments hand-helds

TilEm - TilEm is a TI Calculator Emulator

TiLP -- TiLP is a linking program for Texas Instruments' graphing calculators