nope (pypi): Statically type a subset of Python 3
Keywords: nope|static|type