A vi-like editor based on Plan 9's structural regular expressions
Checked C is an extension to C that lets programmers write C code
Lua bindings for POSIX APIs
A Java-based cross-platform build system.
An analysis tool showing the structure of a C program
Detector of Integer Vulnerabilities in Software Portability
vMotion Detector for Linux & Windows Platforms
Hardware Memory Checker
Alchemist GCC/LLVM plugin for code analysis and tuning