Python to JavaScript compiler based on pyjamas, but with local type inference, type annotations, and type-based optimizations - View it on GitHub