probabilistic-spiking-neuronal-nets-companion