Microsoft has been keeping a steady stream of apps coming and two more official apps hit the Marketplace today. First up in Rise4Fun:
Discover and play with the latest software engineering tools from Microsoft Research right in your phone! Rise4fun features 15+ advanced tools that deal with software testing, verification, concurrency, empirical studies, theorem proving and more… Download this application and impress your friends by solving Sudoku puzzles using first order logic!
This is free and can be found under Tools.
Next up is Software Summit ‘11 which is described merely as “program and information guide for MSR Software Summit 2001.” Well they write code, not descriptions I guess. Anyway this one is free and can be found in the Business category.