XlsToFormula translates xls files' formulas to binaries/executables.
Python package for fitting of O-C diagrams.
Unified Verification Environment
Optimal Trajectory Generation Software for MATLAB
KF Checker is a tool for analysing Information Flow properties.