sourcegraph / browser-extensionsLinks
Sourcegraph's browser extensions: MOVED. See https://docs.sourcegraph.com/integration/browser_extension.
☆49Updated 7 years ago
Alternatives and similar repositories for browser-extensions
Users that are interested in browser-extensions are comparing it to the libraries listed below
Sorting:
- Service and API for Web API Confluence: Metrics for web platform health☆91Updated 2 weeks ago
- RemoteHub is a proof-of-concept vscode extension that allows for remotely browsing a GitHub repository.☆76Updated 4 years ago
- *️⃣+ 🆚 = ❤️☆84Updated 3 years ago
- ☆97Updated 3 years ago
- Moved to https://dom.spec.whatwg.org/☆60Updated 6 years ago
- The fastest development system in the world.☆126Updated 2 months ago
- Milestones in the history of the modern Web platform☆68Updated 5 years ago
- This extension detects if a website registers a Service Worker.☆185Updated last year
- MIME Sniffing Standard☆118Updated 2 weeks ago
- Navigation Timing☆119Updated 2 months ago
- Project to investigate porting Chrome Apps to websites.☆59Updated 5 years ago
- ☆104Updated 8 years ago
- Packages for Firefox DevTools☆144Updated 4 years ago
- Server-side application that facilitates peer discovery for collaborative editing sessions in Teletype☆119Updated 3 years ago
- Developer docs for Chrome Web Store:☆67Updated 3 years ago
- Bringing scripting to the wiki bears.☆131Updated 5 years ago
- (deprecated) Addon to control the Gecko Built-in Profiler☆22Updated 5 years ago
- Storage Standard☆142Updated 2 months ago
- Beacon☆51Updated 11 months ago
- Console Standard☆288Updated 5 months ago
- Fullscreen API Standard☆108Updated 2 weeks ago
- DevTools Protocol☆122Updated 2 weeks ago
- Reporting API☆83Updated last month
- Resource Hints☆82Updated 2 years ago
- WG wiki☆62Updated last year
- Archived proposal from 2018. Perhaps the approach in mikewest/scheming-cookies will be more successful!☆51Updated 6 years ago
- ☆23Updated 8 years ago
- View DevTools Timeline trace files from Google Drive wicked easily☆340Updated 2 months ago
- ☆41Updated 6 years ago
- community space for the npm website☆71Updated 7 years ago