Quantum Katas - Programming exercises for learning Q# and quantum computing.

Categorical quantum mechanics - Study of quantum foundations and quantum information using paradigms from mathematics and computer science, notably monoidal category theory.