A differential synchronization implementation for Python