A logic IDE for the sentential logic and the predicate logic.
Portable Ubuntu Linux for Scientific Computing
GDS visualization and parallelized capacitance extraction
Web interface for visualizing CSV data from CollectD monitoring system
Pear3DEngine is a modern and modular 3D development framework
Catcher is a keylogger tool
jHepWork was a name of the DataMelt program in 2005-20013
Open source Extract Transform Load engine written in Java
Time series plots from a sqlite database
cross platform latex-to-bitmap-to-clipboard gui
Easy and fast tool for managing home workshop resources
InLine Plot with Fortran
C++ lib, that provides access to multiple ROOT routines (root.cern.ch)