Code
Not much here at the moment: I write an awful lot of code, but very little of it is of any interest to anyone but me!
A term-rewriting system for computer quantum algebra
This is proof-of-principle Mathematica code for a term-rewriting approach to modelling calculations in the invariant formalism of quantum mechanics. It doesn't take the usual approach of representing Dirac notation expressions directly, but rather it's based on the underlying mathematical structure. This avoids the many of the problems one runs in to in the direct-Dirac-approach. It's not very user-friendly at the moment, and I've deliberately made no attempt to integrate it into Mathematica's way of doing things. Full details can be found in this paper.