Shedskin: http://code.google.com/p/shedskin/
Boost Python: http://www.boost.org/doc/libs/1_42_0/libs/python/doc/index.html
PyCXX: http://cxx.sourceforge.net/
Cython: http://www.cython.org/
от http://wiki.python.org/moin/compile%20Python%20to%20C, есть список связанных проектов.
Pyrex: http://www.cosc.canterbury.ac.nz/greg.ewing/python/Pyrex/
psyco: http://psyco.sourceforge.net/
RPython: http://code.google.com/p/rpython/
Здесь есть фундаментальный вопрос: является ли цель в основном создать компилятор Python, который использует C в качестве бэкэнда, или преобразовать программу в C и впоследствии поддерживать C?
Написание компилятора, который производит (действительно уродливый) C в качестве своего вывода, вероятно, нетривиально - - компилятор редко используется, и создание кода для Python будет сложнее, чем для многих других языков (в частности, динамическую типизацию трудно скомпилировать, по крайней мере, для очень эффективного вывода). OTOH, по крайней мере, парсер будет намного проще, чем для некоторых языков.
Если под «переводом» вы имеете в виду преобразование Python в C, который можно читать и поддерживать, это совсем другой вопрос - это существенно , мягко говоря, сложнее. На самом деле, я сомневаюсь, что какой-либо машинный перевод будет дорого стоить - существует слишком большая разница в том, как вы обычно подходите к проблемам на Python и C, чтобы можно было надеяться на достойный машинный перевод.
Трудно поверить, что никто не упомянул Cython - на мой взгляд, практически стандарт де-факто для этого типа работы: http: //www.cython.org/
Взгляните на Shedskin. Он делает именно это (ну, для C++ и для подмножества Python и его модулей). Но он должен быть в состоянии дать ценное понимание того, как подойти к этой конкретной проблеме (хотя написание собственного, конечно, не будет тривиальной задачей).