I think they software they use for the forum is generic. The highlighting is just a bunch of common, more popular languages.
I never really notice the difference between them though, they all seem to look the same in the end.
Yes, this forum is built on the commercial Jive platform, which isn't actually an Adobe product. So no direct ColdFusion syntax support.