a parametric 3D CAD modeler
Random phenomena generator
GUI for processing and indexing EBSP from SEMs
Scanning Probe Microscopy Controller and Data Visualization Software
Land survey field crew data management for .RAW and .JOB file types.
ODEs solver with GUI
ntccKMC: A Kripke-structure-based model checker for ntcc