They are using Discourse, which has educational discounts for hosted solutions (starting at $15/month). If you want to host it yourself, the code is on Github.