Most of the ones you list require dynamic linking and so is hard to make use of in specialized environments. His project seems to be generating generic C code

Most of the ones you list require dynamic linking and so is hard to make use of in specialized environments. His project seems to be generating generic C code which is much easier to port to any weird platforms. In fact, it might be perfect for my use-case where dynamic linking is just extra attack surface. I understand that the project is still in the early stages, but I will be paying close attention to it. If at some point it will be possible to write "regular" Python in it (minus most of the standard library and imports), then it could be a candidate for an edge computing platform.