LIVVkit, the land ice verification & validation toolkit, is a Python based V&V toolkit for computational ice sheet models, in both a stand-alone or coupled (to an Earth system model) configuration. new
a small, self-contained tcl/tk application for building
a correspondence list between world coordinates as measured on a 2D co-planer calibration grid and pixels in a sample calibration image
Agent Farms is a system for modelling and simulation of complex, multi-agent based systems.
AHITK deigns to be a toolkit for building human-computer interfaces for use by blind and sighted users, alike.
AI::GA implements a (hopefully) generalized genetic algorithm. It does this by using an array of allowed tokens as individuals.
automatically calculates a customizable layout of graphs specified in GDL (graph description language). This layout is then displayed, and can be printed or interactively explored.
Algraeph is a tool for manual alignment of linguistic graphs, such as phrase structure trees or dependency structures, where each node corresponds to a subsequence of the analyzed input sentence. It allows you to express the similarity between two graphs by aligning their nodes and attaching relation labels to these alignments. Graphs are read from one or more graphbanks (or treebanks) in the GraphML or Alpino formats. Alignment relations are user-defined and are stored in a simple XML format, which can be used for further processing. The resulting parallel graph corpus is a useful data set for many tasks in computational linguistics and natural language processing.
AnchorPower is a very fast, simple, and general random number generation method based on Inverse Transform and Taylor Series.
ANUGA is a software implementation of a hydrodynamic model which is specifically designed to model wetting and drying processes. ANUGA is a joint development project between Geoscience Australia (GA) and the Australian National University (ANU).
Apache Open Climate Workbench
Apache Open Climate Workbench is an effort to develop software that performs climate model evaluation using model outputs from a variety of different sources the Earth System Grid Federation, the Coordinated Regional Climate Downscaling Experiment, the U.S. National Climate Assessment and the North American Regional Climate Change Assessment Program and temporal/spatial scales with remote sensing data from NASA, NOAA and other agencies
AquaCrop-OS is a free, open-source version of AquaCrop, a crop water productivity model developed by the Food and Agriculture Organization of the United Nations (FAO).
Arctic Core is an implementation of the AUTOSAR (AUTomotive Open System ARchitecture) software specification by the ArcCore group.
serves as a graphical interface for the programs from the GP package
Augustus is a scoring engine for statistical and data mining models based on the Predictive Model Markup Language (PMML).
auto-nng is a software for analysis and classification of data, using artificial neuronal networks. You can feed an amount of datasets consisting of certain input and output parameters into the program, to make it try to find a mathematical correlation between the input and output parameters. Afterwards the program tries to calculate the output parameters for datasets which only have known input parameters.
Automated Finite State Machine: an add-on package to AutoGen. It [will] supports all four variations on a state-independent or nearly-state-independent transition machines
avt is a collection of command line tools for aviation. They allow you to get METARs, TAFs, sunrise and sunset, and geo info, and decode IATA/ICAO airports, airline codes, aircraft tail codes, and aircraft names.
The Biochemical ALgorithms Library (BALL) is a framework for rapid application development in molecular modeling and structural bioinformatics. BALL provides an extensive set of data structures as well as classes for molecular mechanics, advanced solvation methods, comparison and analysis of protein structures, file import/export, NMR shift prediction, and visualization. Its extensibility results from an object-oriented and generic programming approach.
a real-time signal analysis tool and an offline time-frequency browser. It has a built in tone generation capability and it can play back audio files with a multitude of effects and filters
Biomechanical ToolKit (BTK) is a cross-platform library for biomechanical analysis. It can read and write a large variety of file formats used in biomechanics, and can modify them.
Carnarvon is a software archaeology analysis tool. A lot of software is developed using version control tools from which it is possible to extract even when a single line of code was most recently edited. Collecting this kind of data and analyzing it statistically could show information in terms of software aging, and indicators of maintainability could be obtained from different perspectives, systems area and development area, for example.
Cartographer is a system that provides real-time simultaneous localization and mapping (SLAM) in 2D and 3D across multiple platforms and sensor configurations.
functions much like the Unix "cat" command: it concatenates DCD files into a single DCD file
Channelflow is a software system for direct spectral simulation of incompressible Navier-Stokes flow in channel geometries, witten in C++. Channelflow is not innovative as an algorithm. Rather, Channelflow uses relatively modern software design to improve the usability, flexibility, and intelligibility of a well-known algorithm.
Classic Ladder is a Ladder language as used on many PLC to realize automation of process.
contains two programs to assist researchers in their study of data clustering algorithms. The clusgen program generates artificial data sets. The cluscomp program compares partitions of a data set, and returns an index (between plus/minus 1) which is a measure of the correspondence of the partitions with each other
CoaSim is a tool for simulating the coalescent process with recombination and geneconversion under the assumption of exponential population growth. It effectively constructs the ancestral recombination graph for a given number of individuals and uses this to simulate samples of SNP and micro- satellite haplotypes/genotypes.
Crashtest simulates car crashes. This is an educational tool that can be used to acquire much insight into this complex process. The user can learn about the relation between speed, reaction-time and stopping distance. Also, many physical properties can be studied.
DAIDALUS (Detect and AvoID Alerting Logic for Unmanned Systems) is a reference implementation of a detect and avoid concept intended to support the integration of Unmanned Aircraft Systems into civil airspace.
Dataguzzler is a laboratory data acquisition platform for high performance waveform and image acquisition. It uses a reconfigurable modular architecture and is controllable both from a command console and by remote over TCP/IP.
created to perform a variety of functions related to maritime tactical analysis, ranging from detailed analysis requiring accurate calculation and presentation of bearing and bearing rates, through the collation of graphical information to produce a plot for insertion into an analysis report, to the recording of animated dynamic sequences for replay in a presentation
Deciduous Evolution simulates the evolution of a population of trees through many generations using a genetic algorithm and a recursive 3D tree drawing function.
DEx is a platform for developing, analyzing, and visualizing dynamic multi-body simulations.
Digital Soda is a simple GTK+ frontend for the DSO-2250 USB oscilloscope. It offers basic functionality and better performance under Unix/Linux.
Distributed Oceanographic Data System provides a way for ocean researchers to access oceanographic data anywhere on the Internet from a wide variety of new and existing programs.
Drone is a system for automatically running simulation programs on an arbitrary number of Internet hosts. It includes a number of features to help with simulation record keeping, archiving, statistical validation, and replication.
ECMWF GRIB API
The ECMWF GRIB API is an application program interface accessible from C and FORTRAN programs developed for encoding and decoding WMO FM-92 GRIB edition 1 and edition 2 messages.
a program to perform molecular dynamics calculations on parallel as well as on sequential computers. Supported parallel machines include the CRAY-T3E, IBM-SP2, Parsytec-CC under PARIX and inhomogeneous clusters of UNIX workstations under PVM or MPI
Emerillon is a map viewer. Aiming at simple user interface, Emerillon is a powerful, extensible application. It is pronounced Ey-may-ree-yon.
a joint project between EMBL-EBI and the Sanger Centre to develop a software system which produces and maintains automatic annotation on eukaryotic genomes. The resulting database contains genomic sequence with features attached
EpiGrass is a simulator of epidemics over networks. Its is a scientific tool created for simulations and scenario analysis in Network epidemiology.
Equake is an applet for the GNOME panel which monitors earthquakes and displays an update each time a new earthquake occurs.
a utility for amateur and professional photographers that calculates optical formulæ
FARnodes is a protocol simulation and execution environment. It comes with a command-line frontend, a protocol code distribution manager, and a statistical analyser based on PyKDE.
a GIS/RS Gnome Project
fplan is a freely distributable application (with source code) designed to assist general aviation pilots in creating flight plans for cross country flights in powered
FreeLIMS is an open source Laboratory Information Management System (LIMS). Read more
Freesteam is an open source implementation of international-standard steam tables from the International Association for the Properties of Water and Steam.
fsc2 is a program for controlling spectrometers. Experiments are done by interpretation of scripts written in a simple language, EDL. Devices are handled via modules in order to allow easy integration of new devices. More than 50 devices are supported, either connected via serial port, GPIB, or LAN, as well as data acquisition cards etc. The state of an experiment can be monitored via an built-in web server. Distributed under under the terms of the GPL.
a comprehensive tool for performing the complex process of dynamic energy analysis. This software enables architects and engineers to perform a comprehensive analysis of dynamic heating and cooling loads, simulation of heating and cooling distribution systems, modeling of equipment supplying the required energy, and calculation of the life-cycle costs of owning and operating energy systems for buildings
designed as a free GNOME viewer for Digital Elevation Model (DEM) and Digital Line Graphs (DLG) maps
gBioSeq is a graphical multiple DNA sequence alignment editor for GTK/Linux.
gebr is a simple graphical interface that facilitates geophysical data processing. While it is not a package for processing, it is designed to integrate a large variety of free processing packages
a suite of application programs for the analysis, display, and diagnosis of meteorological data. Integrated data decoders allow ingestion of data
sets available from the Unidata IDD data streams. Text-based and graphical user interfaces (GUIs) provide comprehensive data access
Generic Mapping Tools
Generic Mapping Tools (GMT) is a free, public-domain collection of about 60 UNIX tools that allow users to manipulate (x,y) and (x,y,z) data sets (including filtering, trend fitting, gridding, projecting, etc.) and produce Encapsulated PostScript File (EPS) illustrations ranging from simple x-y plots through contour maps to artificially illuminated surfaces and 3-D perspective views in black and white, gray tone, hachure patterns, and 24-bit color. GMT supports 25 common map projections plus linear, log, and power scaling, and comes with support data such as coastlines, rivers, and political boundaries. Read more
GeoQO is a waypoint, geocaching, and waymarking database. It is extremely fast and offers a wide variety of utilities for manipulating waypoints. Though designed for geocaching and waymarking, it should be usable for any waypoint management. It is highly extensible; writing new import, export, search, display, and other plugins is easy to do.
a C++ port of the Java Topology Suite (JTS). As such, it aims to contain the complete functionality of JTS in C++. This includes all the OpenGIS "Simple Features for SQL" spatial predicate functions and spatial operators, as well as specific JTS topology functions such as IsValid()
GeoTIFF Viewer is a simple viewer for GeoTIFF files, which are georeferenced raster images, typically used for maps.
GeoZoneDB is an open source project to load geozone data into sql files, ready to download if you don't want to lose time.
Global Paths Matching
Global Paths Matching is an implementation of the global paths graph matching algorithm proposed by Maue and Sanders in "Engineering Algorithms for Approximate Weighted Matching" (WEA'07).
GNomEx (Genomic LIMS and Data Repository) is an open-source genomics LIMS and analysis project center for organizing, annotating, tracking, and distributing raw genomic data and associated downstream analysis. Read more
analyses IGC flight data from GNSS flight data recorders used by glider pilots
The Grid Analysis and Display System (GrADS) is an interactive desktop tool that is used for easy access, manipulation, and visualization of earth science data. The format of the data may be either binary, GRIB, NetCDF, or HDF-SDS (Scientific Data Sets). Read more
Geographic Resources Analysis Support System (GRASS) is a Geographic Information System (GIS) used for geospatial data management and analysis, image processing, graphics/maps production, spatial modeling, and visualization. Read more
GSEGYView is a viewer for seismic data in SEG-Y format, its modifications, and many other related formats aimed to store either petroleum exploration data or seismology data. GSEGYView features graphics hardware acceleration via OpenGL for seismic data rendering, wiggle, variable area and variable density seismic traces representation, two-level sorting of seismic traces by arbitratry keys in trace headers, multiple windows for multiple files with separate display parameters, easy seismic section navigation and zoom with mouse wheel support, and more.
GTO is a file format and set of utilities developed by Tweak for the storage of geometric data. It boasts a small file size and versatility that make it ideal for animation, modeling, particle dynamics, and 3D paint. GTO is released under the LGPL, and is our main method of data transfer with other studios using our software.
Gwyddion is a modular programme for SPM data analysis. Primarily it is supposed to be used for analysis of height fields obtained by means of scanning probe microscopy techniques (AFM, MFM, STM, NSOM), but generally it can be used for any other height field analysis or image analysis.
a set of utilities for visualization and conversion of scientific data in the free, portable HDF5 format
HantekDSO is USB oscilloscope software for Hantek/Voltcraft/Darkwire/Protek/Acetech/etc. DSO-2090/2150/2250/5200A/etc. oscilloscopes.
used to derive harmonic constants (needed by XTide to predict tides) from raw water level observations.
a free program (and accompanying library) to solve the problem of harmonic inversion ? given a discrete-time, finite-length signal that consists of a sum of finitely-many sinusoids (possibly exponentially decaying) in a given bandwidth, it determines the frequencies, decay constants, amplitudes, and phases of those sinusoids
hiercat is an automatic text classifier which uses the hierarchical structure of class labels to improve classification performance.
Ikaros Simulation Framework
The goal of this project is to develop an open infrastructure for system level modeling of the brain including databases of experimental data, computational models and functional brain data.
Intocham takes an InsightII .car file as an input and, using the atom type information and atom-atom distances generates a full suite of topology, parameter and coordinate files for either Charmm, Amber or Moil.
iPDC is a Phasor Data Concentrator that collects data from PMUs and PDC/iPDC that are compliant with the IEEEC37.118 Synchrophasors standard.
JSBSim Flight Dynamics Model
an open source flight dynamics model (FDM) that compiles and runs under many operating systems, including Microsoft Windows, Apple Macintosh, Linux, IRIX, Cygwin (Unix on Windows), etc. The FDM is essentially the physics/math model that defines the movement of an aircraft under the forces and moments applied to it using the various control mechanisms and from the forces of nature. JSBSim has no native graphics
Kernel Lattice Parallelism is a framework for implementing portable scientific applications on distributed memory parallel computers
LEKSBOT is an explanatory dictionary of botanic and biological terms. Curently it contains about 1500 terms but the number is growing up and will cover other sciences relative with biology (entomology, etc.).
LK is a free and Open Source(tm) implementation of the Lin-Kernighan heuristic for the Traveling Salesman Problem (TSP) and the minimum weight perfect matching problem.
Logic Reasoner is a theorem prover for first-order logic with equality. The main objective leading the development of Logic Reasoner has been the creation of a flexible architecture: in particular, the program has been designed as a generic infrastructure for theorem proving, which forms the basis for a collection of specific proving techniques. These techniques can be easily combined or replaced to create configurations with different properties.
Madagascar (formerly known as RSF) is a software package for geophysical data processing and reproducible numerical experiments. Its mission is to provide a convenient and powerful environment and a convenient technology transfer tool for researchers working with digital image and data processing. The technology developed using the Madagascar project management system is transferred in the form of recorded processing histories, which become "computational recipes" to be verified, exchanged, and modified by users of the system.
a Matlab package for DCD reading/writing
Merkaartor is an openstreetmap mapping program. Merkaartor focuses on providing a visually pleasing but performant editing environment for free geographical data.
Metro is a tool designed to evaluate the difference between two triangular meshes. Metro adopts an approximated approach based on surface sampling and point-to-surface distance computation. The tool has been widely used in the surface simplification research community.
MeVisLab, the successor of the image processing environment ILAB4, represents a platform for image processing research and development with a focus on medical imaging. It allows fast integration and testing of new algorithms and the development of application prototypes that can be used in clinical environments. Beside general image processing algorithms and visualization tools, MeVisLab includes advanced medical imaging modules for segmentation, registration, volumetry, and quantitative morphological and functional analysis.
a very simple, serial molecular dynamics program derived from NAMD source code. It currently uses xplor parameter and structure files
MMap is a GTK2 map viewer. It supports Blue Marble, Land Sat 7, Watchizu, SRTM. You can show a part of World Wind data with OpenGL 3D graphics.
Mokka (MOtion Kinematics and Kinetics Analyzer) is a software solution for analyzing biomechanical data. It reads and writes C3D files and many other file formats, and allows you to visualize marker trajectories in 2D and 3D, and force platforms, segments, joint angles, forces, moments, and analog signals like EMGs.
a pre- and post processing program of molecular and electronic structure
mozCellML is a Mozilla based CellML tool. It can be used to edit boundary conditions, integrate models (using a Runge- Kutta method), and fit parameters to models (using Levenberg-Marquardt). It supports both CellML 1.0 and CellML 1.1 documents.
Michel Sanner's Molecular Surface: allows to compute very efficiently triangulations of Solvent Excluded Surfaces
Multipurpose Versatile Test Harness
Multipurpose Versatile Test Harness (MVTH) is a rapid prototyping and testing platform designed for computer vision algorithms. It benefits from the speed and low-level control of the C language while allowing for iterative tweaking and visualization during a running session (similar to Matlab). The end result is a core infrastructure that supports plugins and allows the rapid testing of ideas and comparisons of incremental improvements with results generated during previous plugin reloads.
mumpot is an application for viewing, simple editing, and routing of OpenStreetMap data. It loads the tiles@home and mapnik tiles, can print the maps at some fixed scales, and has some tools for route planning. Without OSM vector data, lines can be drawn onto the map; with vector data, real shortest paths searches can be done. The route can also be calculated from the current position. OSM vector data can be loaded to do routing and editing tags. Some live editing is possible under good GPS conditions.
myBeasties is a highly flexible evolutionary programming module. It is designed to be extendable and customisable for maximum use by the discerning Perl hacker. Phenotypes can be anything: simple binary strings, or whole classes of objects and methods.
a modular simulator used for modeling the physical world at a nanometer scale. The intended purpose of the simulator is to act as a tool for the study, experimentation, and development of nanotech entities
NaSch.py is an implementation of Nagel-Schreckenberg vehicular traffic automaton.
Navit is a modular, touch screen friendly car navigation system with GPS tracking, a real-time routing engine, and support for various vector map formats. It features GTK+ and SDL user interfaces in addition to a GL-accelerated 3D view.
netCDF Operators, or NCO, are a suite of programs known as operators. Each operator is a standalone, command line program which is executed at the UNIX (or NT) shell-level like, e.g., ls or mkdir. The operators take netCDF or HDF files as input, then perform an operation (e.g., averaging, hyperslabbing, or metadata manipulation) and produce a netCDF file as output. The operators are primarily designed to aid manipulation and analysis of gridded scientific data
the C and LaTeX sources to "Notes on the Fractal Analysis of Various Market Segments in the North American Electronics Industry," an application suite for those in strategic marketing and optimization of business operations
Neurocognitive Linguistics Lab ("NeuroLab" for short) is a program that allows you to experiment with relational networks using a convenient GUI and record the results of your experiments in tabular form.
Noble Ape Simulation
The Noble Ape Simulation creates a random environment and simulates the ape inhabitants' cognitive processes. It features the Ocelot landscape rendering engine and the ApeScript programming language.
One-class nu-Support Vector machine (SVMs) learning technique maps the input data into a much higher dimensional space and then uses a small portion of the training data (support vectors) to parametrize the decision surface that can linearly separate nu fraction of training points (labeled as anomalies) from the rest.
Ocean Acoustics and Seismic Exploration Synthesis: general purpose computer code for modeling seismo-acoustic propagation in horizontally stratified waveguides using wavenumber integration in combination
with the Direct Global Matrix solution technique
a program specification and proof system based on order sorted equational logic
OPM/MOOSE (Multimodeling Object-Oriented Simulation Environment) represents an implementation for a simulation system that is under construction, and based on an extension to object oriented design. The purpose of MOOSE is to allow analysts to simulate physical processes by building multimodels
a modeling/simulation language for dynamic systems and neural networks, a runtime compiler, and an experiment-protocol script for simulation studies. It supports up to 20,000 differential equations or matrix/vector operations
Open-LIMS (Laboratory Information Management System) is an organism independent project management suite for biological projects. It contains management for projects, samples and their related data.
OpendTect is an open source seismic interpretation software system for processing, visualizing and interpreting multi-volume seismic data, and for fast-track development of innovative interpretation tools.
Opticks is an expandable remote sensing and imagery analysis software platform that is free and open source.
ossimPlanet is an accurate 3D global geo-spatial viewer that is built on top of the OSSIM, OpenSceneGraph, and Qt open source software libraries. Read more
a Strongly Typed version of lil-gp version 1.1 that
can be used on clusters as well as massively parallel computers (PVM based)
Pattern Classification Program
PCP (Pattern Classification Program) is a machine learning program for supervised classification of patterns. It runs in interactive and batch modes, and implements the following machine learning algorithms and methods: k-means clustering, Fisher's linear discriminant, dimension reduction using Singular Value Decomposition, Principal Component Analysis, feature subset selection, Bayes error estimation, parametric classifiers (linear and quadratic), pseudo-inverse linear discriminant, k-Nearest Neighbor method, neural networks, Support Vector Machine algorithm (SVM), model selection for SVM, cross-validation, and bagging (committee) classification.
Parallel Application WorkSpace: a software infrastructure for use in connecting separate parallel applications within a component-like model. A central PAWS Controller coordinates the linking of serial or parallel applications across a network to allow them to share parallel data structures such as multidimensional arrays
pedsim is a simple, microscopic pedestrian simulation system. It consists, for the time being, of only a small simulation core and some functions to direct the pedestrians' desire. The output of the program is some POV-Ray files generated directly from the main executable (someone needs to separate this eventually), and a data stream in an XML-like format.
The main objective of PEPS is to facilitate the solution of large discrete event systems, in situations where classical methods fail. PEPS may be applied to the modelling of computer systems, telecommunication systems, road traffic, or manufacturing systems. It may be used to compute the steady state vector and performance indexes related to a model described as a network of stochastic automata. It has a textual interface and permits the use of different optimization strategies and various iterative schemes.
a program for speciation, batch-reaction, one-dimensional transport, and inverse geochemical calculations
PIGALE is a graph editor and an algorithm library essentially concerned with planar graphs. This library, which is written in C++ and interfaced with the LEDA library, is particularly intended for graph theoretical research.
Pincaster is an in-memory, persistent data store for geographic data and key/value pairs, with a HTTP/JSON interface.
Probabilistic Incremental Program Evolution is a novel technique for automatic program synthesis.
an environment for running agent-based simulations.
It is cross-platform, with binaries available for Win32
PSI (Perfect Simulator) is a simulation software of markovian models. It be able to simulate discrete and continuous time models to provide a perfect sampling of the stationary distribution or directly a sampling of functional of this distribution.
a research project and software environment focused on the design of reactive systems, providing high-level support for signal processing, communications, and real-time control
PulseView is a portable, cross-platform, sigrok GUI for logic analyzers, oscilloscopes, and MSOs.
PyGaze is an open-source toolbox for eye tracking in Python.
pyRadar is a Python/pyGTK program that retrieves and displays radar images from NOAA's NEXRAD radar stations, that are located around the United States and its territories.
PyRate is a Python tool for estimating the average rate (velocity) and incremental time-series of surface movement for every pixel in a stack of images generated by interferometric processing of Synthetic Aperture Radar (InSAR) data. It has been designed to use GAMMA or ROI_PAC format geocoded unwrapped interferograms.
Pyslice provides utility functions for parametric modeling. Parametric modeling is a process of varying many inputs to a model.
pyxcom is a Python interface to XCOM. It makes working with XCOM very simple and fast. It can work in text mode or in graphical mode (wxPython needed).
a graphical tool for designing finite state machines
quake report is a simple application that connects to the USGS to retrieve the list of the latest earthquakes and displays them on an interactive map.
Quantum GIS is designed to be a Geographic Information System (GIS) built for Linux/Unix. QGIS will offer support for vector and raster formats and provide a comprehensive GIS. Read more
QuIP provides an interactive environment for computing and presenting images and image sequences, manipulating and storing arbitrary data, and general scientific computing and plotting.
Radar Tools is a small collection of tools for processing SAR (synthetic aperture radar) remote sensing data, packed together in a nice graphical user interface.
random-tester is a set of random number generation and random number testing routines inplemented in C.
a GPL'd Electronic Medical Record and Practice Management system for medical providers that runs in any web browser in multiple languages
rmachine is a simulator for register machines (in the context of complexity theory), complete with a GUI and a Python module to be used in your programs. The machine ("RAM") is equal to Turing machines in its computional power. It has theoretically unlimited memory (but is limited in practice by your computer's memory).
The Simple, Scalable, Script-Based, Science Product Archive (S4PA) is a radically simplified data archive architecture for supporting our GES DISC users with online access to data. S4PA is already being used operationally and its deployment will beexpanded in the months and years to come.
SAGA (System for Automated Geoscientific Analyses) is a hybrid Geographic Information System (GIS) software for the analysis of spatial data. Read more
a cellular automata program that supports user-created rules and neighbourhoods, and can run 1d and 2d lattices
Scicos is a graphical dynamical system modeler and simulator developed in the Metalau project at INRIA, Paris-Rocquencourt center. With Scicos, user can create block diagrams to model and simulate the dynamics of hybrid dynamical systems and compile models into executable code.
the Southampton - East Anglia (SEA) model is a three-dimensional finite difference, primitive equation, ocean general circulation model, based around the successful Bryan-Semtner-Cox formulation
Seismic Analysis Code
Seismic Analysis Code is a general purpose interactive program designed for the study of sequential signals, especially timeseries data.
The CWP/SU (Seismic Unix) package is an instant seismic processing and research environment developed at the Center for Wave Phenomena, Colorado School of Mines. The package is not necessarily restricted to seismic processing tasks, however. A broad suite of wave-related processing can be done with SU, making it a somewhat more general package than the word ``seismic'' implies.
SEM2DPACK is a simulator of 2D elastic wave propagation and fracture dynamics that applies the Spectral Element Method (SEM, similar to mass-lumped high-order finite element methods). Flexibility and accuracy are the main goals.
SHOGUN is a machine learning toolbox whose focus is on large scale kernel methods and especially on Support Vector Machines (SVM). It provides a generic SVM object interfacing to several different SVM implementations, all making use of the same underlying, efficient kernel implementations. Apart from SVMs and regression, SHOGUN also features a number of linear methods like Linear Discriminant Analysis (LDA), Linear Programming Machine (LPM), (Kernel) Perceptrons, and algorithms to train hidden Markov models. SHOGUN can be used from within C++, Matlab, R, Octave, and Python.
SigmaPi is a simulator for recurrent neural
networks of arbitrary topology with additive and
multiplicative units. It is designed for time-series processing. It uses a training algorithm based on RTRL with extensions taken from RProp
a multi-platform simulation infrastructure
Skizze is a sketch data store to deal with all problems around counting and sketching using probabilistic data-structures.
Spatial Modelling Environment is a transparently links icon-based modeling environments with advanced computing resources, allows modellers to develop simulations in a user-friendly, graphical environment, requiring no knowledge of computer programming.
SMV is a tool for checking finite state systems against specifications in the temporal logic CTL.
for the calculation of the Steric Size of Molecules about a Point in terms of their Cone Angles and Solid Angles, as well as their total Volumes and Projected Areas
a Normal Mode Propagation model developed at SACLANT Undersea Research Centre
Survex is an open source cave-surveying software package, licensed under the GPL. It is designed to be portable and can be run on a variety of platforms, including Microsoft Windows, Mac OS X, and Unix. Read more
an implementation of Vapnik's Support Vector Machine for the problem of pattern recognition
SweepOver is a Python script that makes the exploration of a model by numerical simulations easier and faster.
TDS 200 Mini Tool
TDS 200 Mini Tool is a communication program for the series TDS200 Tektronix Digital Oscilloscopes. It can transmit, receive, and display waveforms and oscilloscope settings. It can also output to a printer if you have installed Gnuplot.
TFA Climate Reader
TFA Climate Reader reads data from climate logger TFA 30.3015 and outputs it in CSV format.
The PEP tool
a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
The Tiny Multi Agent Platform
tinyMAS is a multiagent platform that provides base concepts (such as kernel, message, yellow pages, white pages, and transport service) and extended concepts (such as environment, influence, and perception). It aims to provide an easy-to-understand and and easy-to-use platform dedicated for multiagent engineer/research courses.
a simulation and compilation package of several languages which are of theoretical relevance only
Therion is a tool for cave surveying. This application archive survey data on computer in a form as close to the original notes and sketches as possible and retrieve them in a flexible and efficient way. This tool also draws up-to-date plan or elevation maps. Read more
an interactive geographic data viewer (GIS viewer) which features methods to visualize, explore, and analyze geographic information
The Imagery Exchange (TIE) provides imagery ingestion, management, and generation automation solution. It is deployed as part of the NASA's Global Imagery Browse Services system.
TkResolver++ is a suite of software for conducting experiments into psychokinesis (specifically retropsychokinesis.) It uses the output from a random number generator to determine the course of a line as it is drawn down the computer screen. Experiments consist of an operator who attempts to influence the behaviour of the line drawing. The software records in a database the operator's details, the experimental variables, and the observed results. The suite includes programs for conducting visualisation and statistical analysis of the database.
trend is a general-purpose, efficient trend graph for "live" data. Data is read in ASCII format from a file or continuously from a FIFO, and is played in real-time into a multi-pass trend (much like a CRT oscilloscope or a strip chart). trend can be used as a rapid analysis tool for progressive or time-based data series together with trivial scripting.
TSPSG is intended to generate and solve Travelling Salesman Problem (TSP) tasks. It uses Branch and Bound method for solving. An input is a number of cities and a matrix of city-to-city travel prices.
User-Friendly Desktop Internet GIS (uDig) is an open source spatial data viewer/editor, with special emphasis on the OpenGIS standards for internet GIS, the Web Map Server and Web Feature Server standards. Read more
a set of programs for viewing, editing, and transforming UNIPEN files. UNIPEN is the de facto standard for on-line handwriting data
Vaucanson is a finite state machine manipulation platform, composed of a library and tools implemented on top of it. It benefits from the expertize we capitalized during our intensive work on high performance generic programming for Olena.
TriMeshInfo is a tool designed to inspect 3D models and retrieve all the topological related information. It can be used to automate the process of decoding 3D mesh inherent properties and ease data classification and retrieval.
developed to create a bridge between most of the molecular software packages, like BioDock, Quanta/CHARMm, Insight II, MoPac, etc. In this tool have been also implemented some features that are useful to analyze, display and manage the 3D structures of molecules
Votorola is software for open elections. Its primary application is an unofficial electoral system in which the public can advance its own candidates to run in the official elections. Its voter rolls are backed by a trust network that is physically rooted in community neighborhoods, and its voting mechanism is powered by a delegate cascade. Each voter has a single vote to back anyone as a candidate. A candidate's own vote carries with it the votes of her backers. The top candidates will later be encouraged to enter the official race. Votorola is designed for continuous elections. Even after a winner enters office, voters will remain free to withdraw their backing or transfer it to other candidates.
wayV lets you experiment with human computer interaction, especially gesture based computing.
WDB is a weather data storage system for storage of weather and water observations, forecasts, analysis fields, and models.
WDB-GRIBLoad is a loading program that handles the loading of GRIB files into WDB, a data storage system for weather and water observations, forecasts, analysis fields, and models.
wview Vantage Pro Weather System
wview is a linux/*BSD/unix/MacOSX-Darwin application that controls a Davis Vantage Pro or Vantage Pro2 weather station console to retrieve archive records and current conditions. The archive records are stored in the Davis WLK file format (thus Weatherlink generated archive files can be used by wview). Archive records may optionally be stored in a relational database (MySQL or PostgreSQL).
x10ephem computes sunrise and sunset times. There is a library and an assortment of utilities. The most useful utility is x10events. This program parses crontab files and updates the time fields to track sun events given instructions in the comments.
XYZ2LLA is a little C program to convert earth-centred earth-fixed (ECEF) cartesien coordinates to latitude, longitude and altitude (LLA in degree).