nowfound

Dev tools · September 5, 2018

Sourcegraph browser extension

Go-to-def and refs on GitHub

Sourcegraph browser extension launched on September 5, 2018 with 5 votes, #1,209 of 2,635 launches that month. The site was still online in September 2026, 8 years on.

Visit chromewebstore.google.com ↗Alternatives

Does a similar job

all alternatives →
  • Refined GitHub2017 · github.com · ▲324

    Browser extension that makes GitHub cleaner & more powerful

  • Sourcegraph for GitHub2016 · chromewebstore.google.com · ▲97

    Browse and search GitHub like an IDE

  • Sourcebot, an open-source Sourcegraph alternative2024 · github.com · ▲259

    Hi HN, We’re Brendan and Michael, the creators of Sourcebot (https://github.com/sourcebot-dev/sourcebot). Sourcebot is an open-source code search tool that allows you to quickly search across many large codebases. Check out our demo video here: https://youtu.be/mrIFYSB_1F4, or try it for yourself on our demo site here: https://demo.sourcebot.dev While at prior roles, we’ve both felt the pain of searching across hundreds of multi-million line codebases. Using local tools like grep were ill-suited since you often only had a handful of codebases…

  • Sourcegraph 4.02022 · sourcegraph.com · ▲106

    The code intelligence platform for modern devs

  • Sourcegraph for GitHub2017 · sourcegraph.com · ▲7

    An IDE-like experience on GitHub

  • Sourcegraph for VS Code2022 · marketplace.visualstudio.com · ▲96

    Search millions of open source repos without leaving the IDE

More dev tools this month

the category →
  • /dev/null▲481

    a social network for devs

    Dev tools · 2d ago · dev-null.sh

  • Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

    open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

    Dev tools · 27d ago · github.com

  • Reladraw – A diagram language where you decide where to place things▲411

    Contribute to reladraw/reladraw development by creating an account on GitHub.

    Dev tools · 25d ago · github.com

  • OpenBot▲362

    Grok Bot alternative: free, local, open-source, multiplayer

    Dev tools · 22d ago · openbot.run

  • Talanoa▲341

    Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

    Dev tools · 20d ago · talanoa.email

  • CoreSpeed▲332

    One MCP for everything your agents need: apps, memory, tools

    Dev tools · 27d ago · corespeed.io

Source: Product Hunt launch ↗

Launched alongside, September 2018

the whole month →