Whiley is a programming language with refinement types, extended static checking and an indentation-based syntax. It compiles to Java bytecode and runs per JAR-runtime on any JVM, which in turn allows to reuse existing Java libraries. The SDK includes a compiler (wyjc), documentation, a plugin framework, disassembler, and an Eclipse plugin.
QuickBinary is an extension for PHP which provides a similar but statically typed language for higher performance processing. It translates Zend opcodes for its own runtime optimized for low-level and calculation intensive applications. While ordinary PHP code runs unaffected. It's especially useful for complex pixel-oriented graphics manipulation.