I've used TextExpander and Typinator. I'm currently using Typinator because it seems to perform better. I remember I was getting some freeze ups with TE a couple years back (don't know if that's still the case).