Re:Show HN: Mys – an attempt to create a statically typed Py...
by t-vi on Monday August 31, 2020 @07:05AM
(#24330180)
In the special purpose for computation (like Numba) department, but more general: TorchScript from PyTorch
https://pytorch.org/docs/stable/jit_language_reference.html#...
It doesn't compile to C but to an IR, but some ideas around typing might be similar.
[1]: http://nuitka.net/
[2]: https://cython.org/
[3]: https://numba.pydata.org/