[sitkack]

Given that the OP is the github project owner, are you aware of https://chocopy.org/ ?

You might want to also look at Shedskin, https://github.com/shedskin/shedskin which converts implicitly typed Python programs to C++

[viraptor]

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

[eerimoq]

This looks promising indeed. Thanks for sharing.

[nerdponx]

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/

[t-vi]

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.

[sitkack]

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

[eerimoq]

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.

[sitkack]

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