batchelor (pypi): A simple, yet effective batching system using threadpoolexecutor.
Keywords: batching|pool|dataset