An implementation of the Nengo API using Theano