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:
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: