Quipper: A Scalable High Level Functional Language for Quantum Computing
mathstat.dal.ca
mathstat.dal.ca
See Krysta Svore at Microsoft Research's QuArC for a good presentation on the topic. (Also read her paper on quantum deep learning from 2014 just because it is so very cool.)