Proposed projects

1. Bridging abstraction and implementation (doc, slides)
2. MR Tool (doc, slides)
3. Recurme (doc, slides)
4. Automate Git Pull/Push (doc, slides)
5. Tests Coverage Visualization (doc, slides)