tantu
A typed language with green threads, a type checker and a bytecode VM, in about 6,000 lines of readable Python. Try it in your browser.
