Generic system-near OpenMath converter for Python based on the pickle protocol
Generic system-near OpenMath converter for Python based on the pickle protocol

(proof of concept implementation)

OpenMath/py-openmath