quipper - http://www.mathstat.dal.ca/~selinger/quipper/ - on GitHub