A logic IDE for the sentential logic and the predicate logic.
Visualization tool for statistical epistasis networks
Compare Videos Side By Side
Demonstrates quantal two-slit Fresnel interference patterns.
Tuning of java neuroph.org neural nets.
Portable Ubuntu Linux for Scientific Computing
Gplot provides a convenient front-end for gnuplot
Web interface for visualizing CSV data from CollectD monitoring system
Simple 3D viewer
Pear3DEngine is a modern and modular 3D development framework
This toolkit allows you to analyze and validate ns-2 traces
C and C++ control flow graph generator and analyzer