Online programming tools from Microsoft Research

Research is doing some interesting things and here they are.  Also, these projects are quite fun as they are oriented as puzzles!

Beginner:

• https://research.microsoft.com/en-us/projects/touchstudio/

Software Engineering

• https://pex4fun.com/
• https://rise4fun.com/Revisions
• https://www.tryfsharp.org/Default.aspx
• https://research.microsoft.com/en-us/um/redmond/projects/z3/
• https://research.microsoft.com/en-us/um/people/gurevich/dkal.htm

Hardware, coolness:

https://research.microsoft.com/en-us/projects/gadgeteer/