bmalehorn/hydra
Chrome plugin to open the first 3 links of any Google search.
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Chrome plugin to open the first 3 links of any Google search.
For formatting, searching, and rewriting JavaScript.
Lean Theorem Prover
An improved Go mode for emacs