A choreography programming language for concurrent systems
Constraint Logic can solve word logic puzzles.
Hibernate-like ORM for D programming language
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÷÷.