A library for JSON manipulation