Converts (packages) Python programs into stand-alone executables
Frost Programming Language Interpreter
A 100% Java Warren Abstract Machine implementation.
Python2.7.3 for android
dependently typed functional programming language
Repository has been moved to: http://dtitov.github.com/bracer
Kammerjäger is a debugging tool with integrated correctness proving.