A native code compiler for Python that uses type hints for optimization.