The followings are software used for developing SpiNNaker applications:
Low-level Tools
SpiNNaker Tools 3.4.1