A logic IDE for the sentential logic and the predicate logic.
GDS visualization and parallelized capacitance extraction
Simple 3D viewer
A powerful, versatile tool for offilne spike analysis and sorting
C and C++ control flow graph generator and analyzer
An open source fractal generator extensible with scripts.
A Fast Light Neuron Tracing and Editor Tool
Windows software for fast instrumentation and control systems
A lightweight OpenGL SAM/BAM viewer
Moved to new location: http://octomap.github.com/
Serial communication utility
a realtime graphics library