Tool support for the Z formal notation
Free and open source pattern design software
DXF2GCODE: converting 2D dxf drawings to CNC machine compatible G-Code
SUMO is a microscopic, multi-modal traffic simulation.
PC based Oscilloscope and Spectrum analyzer using sound card
Virtual Planetarium and other Astronomical Calculation Routines
A library for polyhedral mesh generation
Generic Code-Seeking Diassembler with Fuzzy-Function Analyzer
Toolkit for working with and mapping geospatial data
TFEL/MFront introduces DSLs based on C++ to handle material knowledge
fast C++ library for GPU linear algebra & scientific computing
Fit X-ray Photoelectron Spectroscopy (XPS) and XAS data
SPPAS - the automatic annotation and analyses of speech
Converts cobol copybooks to Xml/Java objects
Transmission Electron Microscope Image Simulation
JaxoDraw: Feynman Diagrams made easy!
conducteö - logiciel de calcul des ponts thermiques linéiques
Object-oriented equation-based modelling and optimisation software
An information system for cyclists in Berlin and Brandenburg
Processing and analysis of Small Angle X-ray Scattering (SAXS) data.