KingTheMatt

KingTheMatt

@sourcegraph. Previously @tilt
#7771673 followers129 following
5 points
All activity
KingTheMattleft a comment
Hey PH, Matt from Sourcegraph here. The Sourcegraph browser extension gives IDE-like tools to GitHub. You can download it here: https://chrome.google.com/webstore/detail/sourcegraph-for-github/dgjhfomjieaadpoljlnidmbgkdffpack?hl=en With it you can: - Hover over any symbol for type info and documentation - Click a symbol to jump to definition and find references (even in other repositories) -...
Sourcegraph for GitHub
Sourcegraph for GitHubAn IDE-like experience on GitHub
KingTheMatthuntedSourcegraph for GitHub

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.

Sourcegraph for GitHub
Sourcegraph for GitHubAn IDE-like experience on GitHub
KingTheMattleft a comment
I always liked having a color highlighter in my editor so I thought it could be useful to make one for GitHub. Here's a super simple chrome extension that is a color keyword highlighter on GitHub.
CSS Colors for GitHub
CSS Colors for GitHubFast color keyword highlighter for GitHub
KingTheMatthuntedCSS Colors for GitHub
CSS Colors for GitHub
CSS Colors for GitHubFast color keyword highlighter for GitHub