Static checker, compiler to Java and run-time classes for compiled Rascal programs - View it on GitHub