WebDeveloper.com uses vBulletin. It is not free. I've heard some good things about Simple Machines. They've been around for quite a while too. They actually use to do YaBB SE but now they do Simple Machines. As for Vanilla, I've never heard of it so I can't really say.