An implementation of Shor's algorithm using Quipper (http://www.mathstat.dal.ca/~selinger/quipper/)