Compare: GitHub Web IDE vs GitHub Code Editors
| Stats |   GitHub Web IDE |  GitHub Code Editors |
|---|---|---|
| User count | 172 | 1 |
| Average rating | 4.56 | 0.00 |
| Rating count | 9 | 0 |
| Last updated | 2026-02-27 | 2023-02-22 |
| Size | 139.35KB | 19.72KB |
| Version | 2.0.15 | 0.6 |
| Short description | |
|---|---|
| This extension enhances GitHub repositories by adding a convenient dropdown menu which offers direct links to various online platforms that allow users to view and interact with the repository's source code in an environment reminiscent of an IDE. | Open GitHub repositories in different online code editors⚡ |
| Full summary | |
- | - |
Extensiones / Aplicaciones populares
Aquí hay algunas extensiones / aplicaciones populares que podrían interesarte:
TanTan - Asian Dating App
Tantan Cultural Development (Beijing) Co., Ltd.
4.80 
(1,155,749)
(1,155,749)
Crafto
Kutumb App
139M 4.57 (960,109)
MEGA
https://mega.nz/
1000K 4.30 (7,121) 
Good Pizza, Great Pizza
TapBlaze
226M 4.67 (1,844,920) 
AdBlocker Ultimate
AdAvoid
1M 4.77 (27,131) 
Capital One Shopping: Save Now
https://capitaloneshopping.com
10M 4.68 (17,596)
Enhancer for YouTube™
Max RF
505K 4.60 (968) 
Castle Clash: World Ruler
IGG.COM
140M 4.44 (5,053,886) 
Global Speed - Video Speed Control
polywock
6M 4.60 (1,048) 
Ghostery AdBlocker for Privacy
https://www.ghostery.com/
2M 4.65 (18,510) 
Life360: Family Safety & GPS
Life360
212M 4.43 (2,199,002) 
Free VPN & Proxy For Chrome - VPNLY
https://vpnly.com
1000K 4.66 (20,837)