Compare: Open in (GitHub) Dev! vs GitHub Web IDE
| Stats |   Open in (GitHub) Dev! |  GitHub Web IDE |
|---|---|---|
| User count | - | 176 |
| Average rating | 0.00 | 4.56 |
| Rating count | 0 | 9 |
| Last updated | 2024-10-09 | 2026-02-27 |
| Size | 174.24KB | 139.35KB |
| Version | 1.0.0 | 2.0.15 |
| Short description | |
|---|---|
| Conveniently open GitHub repos in GitHub.dev via right-click. | 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. |
| Full summary | |
- | - |
Popular Extensions / Apps
Here are some popular extensions / apps that you might be interested in:
NetShort - Popular Dramas & TV
NETSTORY PTE. LTD.
108M 4.59 
(1,198,128) 
uBlock Origin
Raymond Hill
11M 4.80 (21,818) 
Life360: Family Safety & GPS
Life360
213M 4.43 (2,210,961) 
Klondike Adventures: Farm Game
VIZOR APPS LTD.
109M 4.60 (1,366,797) 
Bolt: Request a Ride
Bolt Technology
168M 4.82 (10,228,841)
wanteeed
https://wanteeed.com/
500K 4.78 (24,640) 
Coin Master
Moon Active
345M 4.75 (10,386,434)
Global Speed - Video Speed Control
polywock
6M 4.60 (1,051) 
VPN
1VPN
696K 4.60 (2,149) 
Walmart: Shopping & Savings
Walmart
131M 4.72 (7,116,944) 
Momentum
http://momentumdash.com/
2M 4.49 (13,756) 
AdGuard AdBlocker
https://adguard.com
16M 4.66 (68,080)