A logic IDE for the sentential logic and the predicate logic.
Tool for genomics;automates data retrieval from db;enables workflows
Visualization tool for statistical epistasis networks
Simple example for triangulate polygon with allegro engine (C++)
Demonstrates quantal two-slit Fresnel interference patterns.
Tuning of java neuroph.org neural nets.
GDS visualization and parallelized capacitance extraction
Lloyd's Algorithm-based Volumetric Analysis for AFM Images
Gplot provides a convenient front-end for gnuplot
Simple 3D viewer
Random Collection of Functions for Proteomics Data Analysis
GPU Interactive Program For Edge detection
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