spalloc-server (pypi): A tool for partitioning and allocating large SpiNNaker machines into smaller ones on demand.
Keywords: spinnaker|allocation|packing|management|supercomputer|python