RSense is a set of development tools for Ruby. Its main features are code completion and type inspection. The supported editors are Emacs and Vim.
GCCSense is a set of intelligent development tools for C and C++ using GCC as backend. Code completion and automatic syntax checking are available. Emacs and Vim are currently supported.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).