* [GitHub Web IDE 2.0.16](https://github.com/zvizvi/GitHub-Web-IDE) – Browser extension adding a dropdown menu with links to online IDE platforms for GitHub repositories.