Hacker News Reader

And at mypyc https://github.com/python/mypy/tree/master/mypyc

This looks promising indeed. Thanks for sharing.

For the sake of completeness, might as well mention Nuitka [1] (another Python -> C compiler), Cython (Python-like language that compiles to C), and Numba (LLVM-based JIT compiler for a limited subset of Python).

[1]: http://nuitka.net/

[2]: https://cython.org/

[3]: https://numba.pydata.org/

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.

Previous discussion of ChocoPy is here, https://news.ycombinator.com/item?id=20957420

No, I am not aware of ChocoPy. Thanks for letting me know.

Shedskin uses the Python interpreter if I remember correctly. I aim not to.

It can make both standalone executables as well as extension modules that can be loaded into cpython2.7