Tool support for the Z formal notation
Simple ⇒ Object-Oriented ⇒ Functional
Template-based code generation language.
Java Internet Prolog (Moved to GitHub)
Converts (packages) Python programs into stand-alone executables
A Critic for APIs and Libraries
An Apache module for developing web applications using Lua