An optionally type-checked language that compiles to bytecode, plus JS-based bytecode interpreter. (unfinished) - View it on GitHub