A logic IDE for the sentential logic and the predicate logic.
Visualization tool for statistical epistasis networks
Portable Ubuntu Linux for Scientific Computing
Lloyd's Algorithm-based Volumetric Analysis for AFM Images
Web interface for visualizing CSV data from CollectD monitoring system
A powerful, versatile tool for offilne spike analysis and sorting
This toolkit allows you to analyze and validate ns-2 traces
C and C++ control flow graph generator and analyzer
Validation of terms in corpus
Time series plots from a sqlite database
Ccide is a Decision Table preprocessor.
Converts 3-D COMSOL mph file to a Tecplot compatible file
View the Mandelbrot set easily at high zooms
Run Virtual Machines On a LiveCD | Management GUI
Mass Spectrum Viewer Tool
DRINKS is a set of smart web-based widgets.
CAD.
A electric, magnetic, and gravity field physics presentation program
A LaTeX package to draw ball and spoke models