The free computer aided translation (CAT) tool for professionals
Implementations for the Revised Report language
Software Unit Tests (Language Independent Approach)
Just another manual code analysis tool and static analysis tool.
A tool for finite state machine analysis and synthesis.
An Open source Analysis and SImulation Toolbox for Fuel Cells
function finder