Most of those software are written in OCaml.
Literate programming meets unison.
website
A timetracker GUI to learn where you spend your time
and how much you really work per week.
website
screenshot
A C/C++ transformation and cpp aware front-end.
website
A code and comment multi-dimensional browser for C/C++/Java.
screenshot
A program transformation engine for C.
website
A semantic filesystem enabling advanced queries and navigations.
website
screenshot
A DSL to define and use constraint solvers
using the "Constraing Handling Rules" formalism
embeded in the Lambda Prolog programming language.
website
Tronscroll
Grany
Bootmanager
Linux-livecd
Security policy enforcer for Pascal and Java via AOP
Automatic test generation in Prolog for C
