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.
Gplot provides a convenient front-end for gnuplot
Simple 3D viewer
Pear3DEngine is a modern and modular 3D development framework
C and C++ control flow graph generator and analyzer
2D and 3D contour and colour map of regular or scattered data
A Fast Light Neuron Tracing and Editor Tool