The followings are documentations provided by the SpiNNaker developer team:
SpiNNaker Datasheet
Software Specification and Design
SpiNNaker Application Runtime Kernel
SpiNNaker Application Programming Interface
SpiNNaker Application Notes
Github Links