Most of those software are written in OCaml.
pfff is mainly an OCaml API to write static analysis, dynamic
analysis, code visualizations, code navigations, or style-preserving
source-to-source transformations such as refactorings on source code.
For now the effort is focused on PHP but there is preliminary support
for Javascript, C, C++, Java, Sql, and even TeX. There is also
preliminary support for OCaml code so that pfff can be used on the
code of pfff itself.
See
wiki.
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
