You can try it out at http://rise4fun.com/dafny/Hello
EDIT: They did not open sourced it today, they just moved it from Codeplex to Github today...
http://dafny.codeplex.com/wikipage/history