Xiaomi Mi Flash Tool
Official Mi Flash Tool
GitHub is a massive hub for game developers and enthusiasts alike. Many developers use (the *.github.io domain) to host playable versions of their games for free. Why "GitHub.io" for Games?