A coding style checker tool support C/C++ syntax
Kammerjäger is a debugging tool with integrated correctness proving.
Lexical, grammatical and syntactic analyzer of C÷÷.
Visual Automation & UI Authoring
A human-readable ISC-Licensed implementation of the LZO1X algorithm.
A TTCN-3-inspired testing environment in Python