Taipei is a statically-typed, zero-overhead, minimalist subset of Python that compiles to LLVM. I wanted the name "typy" but that was already taken. - View it on GitHub