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.
A vi-like editor based on Plan 9's structural regular expressions
An analysis tool showing the structure of a C program
Simple MT-Proto proxy
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