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.