WiXer is a wiki compiler that uses a
fully-specified grammar with a git repository for
versioning and an Ajax interface. It is designed
for those who know nothing about Servlets, and
sits easily behind a static content Web server.
Rendering is done with Adam Megacz's WiX.
Goanna is an Eclipse plugin that does static analysis of C/C++ source code with model checking. It detects many instances of null pointer de-referencing, double free(), buffer overruns, uninitialized variables, and other common programming mistakes.