search

nengo / nengo-extras

Extra utilities and add-ons for Nengo
https://www.nengo.ai/nengo-extras
Other
5 stars 8 forks source link

Miscellaneous improvements #60

Closed hunse closed 6 years ago

hunse commented 6 years ago

A number of improvements made while working on my thesis. All commits are independent.

tbekolay commented 6 years ago

OK if I merge now @hunse?

hunse commented 6 years ago

Yup!

Seanny123 commented 6 years ago

Does this supersede any of your other PRs in this repository?