nowfound

Dev tools · August 29, 2017

Sourcegraph for GitHub

An IDE-like experience on GitHub

Sourcegraph for GitHub launched on August 29, 2017 with 7 votes, #1,175 of 3,214 launches that month. The site was not reachable when checked in September 2026.

What it does

Sourcegraph provides IDE-like tools for GitHub to make code search, browsing and navigating code more delightful. Get multi-repo search, jump to definition, find references, and file tree navigation.

Does a similar job

all alternatives →
  • Sourcegraph for GitHub2016 · chromewebstore.google.com · ▲97

    Browse and search GitHub like an IDE

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

    Search millions of open source repos without leaving the 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…

  • GitHub Graph Drawer2024 · ▲113

    Type some text on your GitHub contributions graph

  • Sourcegraph 4.02022 · sourcegraph.com · ▲106

    The code intelligence platform for modern devs

  • Insight.io for GitHub2017 · chromewebstore.google.com · ▲298

    Navigate GitHub like it's in your IDE

More dev tools this month

the category →
  • /dev/null▲464

    a social network for devs

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

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

    Dev tools · 27d ago · github.com

  • 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▲339

    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, August 2017

the whole month →
  • Now with Reviews, Badges, Web Links, and more ✨

    Life & fun · 2017

  • WhatRuns▲1,045

    Discover what runs a website in one click 🖥️ 🔍

    Growth · 2017 · whatruns.com

  • APIs to automatically transcribe and understand audio

    AI · 2017 · assemblyai.com

  • The essential guide to product design and design thinking

    Work · 2017 · designbetterpodcast.com

  • Visual demonstration of blockchain technology

    Commerce · 2017 · blockchaindemo.io

  • Next step of an exciting new phase and the Partners Program

    Work · 2017 · medium.com