☰

Github Web IDE

⚡ Open GitHub repositories in online web IDE (Migrated from https://github.com/zvizvi/GitHub-Web-IDE)

Author
Cesaryuan
Daily installs
0
Total installs
90
Ratings
0 0 0
Version
2.0.3
Created
2022-11-17
Updated
2022-11-17
Size
53.4 KB
License
none
Applies to

You can also try these related scripts:

  • Github Enhancement - High Speed Download - High-speed download of Git Clone/SSH, Release, Raw, Code(ZIP) and other files (Based on public welfare), project list file quick download (☁)
  • GitHub Internationalization - Translate GitHub.com
  • 🏷️ UTags - Add usertags to links - Enhance your browsing experience by adding custom tags and notes to users, posts, and videos across the web. Perfect for organizing content, identifying users, and filtering out unwanted posts. Also functions as a modern bookmark management tool. Supports 100+ popular websites including X (Twitter), Reddit, Facebook, Threads, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch, and many more.
  • Global Font: Adobe-branded - An user stylesheet to replace all fonts on web pages with Adobe-branded fonts, brings you a more unified and beautiful visual style.
  • GitHub Folder Downloader - To add a download button for a GitHub folder, which allows easy downloading of a specific folder, you can follow these steps