He uses custom tools.
However, he actually recommends against using his tools. He suggests a better option is to use traditional animation tools.
I'm actually not sure what one would use for more traditional animations of his style though. I mean, theoretically you can use blender/etc for most 3d things, but how easy would it be to make something math-based there? Hopefully someone with some real animation experience can chime in.