Numba替代品，带有类别，收益支持和z3py

Question

是否存在替代numba的支持： -类 -收益表，以及 -z3。

不需要相同的支持，但是类似的优化将很有用。