ujson: Python library - JSON encoder and decoder </>