Quantum Optics can often require messy algebraic simplifications of noncommuting operators (usually ladder operators and commutators). I've asked here about how to do it before.
What are some modern techniques for doing quantum optics calculations in Mathematica?
I know of this old quantum mechanics package. I've tried to use it many times and haven't really managed to get something that feels actually useful as compared to working it out by hand.
Another suggestion at the time was to use the NCAlgebra package.
Any other ideas?