A logic IDE for the sentential logic and the predicate logic.
VB macros and a template for the analysis of T-RFLP data using Excel.
Tool for genomics;automates data retrieval from db;enables workflows
Portable Ubuntu Linux for Scientific Computing
This toolkit allows you to analyze and validate ns-2 traces
Ccide is a Decision Table preprocessor.
Run Virtual Machines On a LiveCD | Management GUI
Flare is an ActionScript library for creating visualizations
Tools for multivariate data visualization, exploration and analysis.
KineticaRT .Net Components - for fast control & monitoring systems
Data analysis and circular statistics with OpenElectrophy and R