bmalehorn/hydra
Chrome plugin to open the first 3 links of any Google search.
For formatting, searching, and rewriting JavaScript.
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.
Lean Theorem Prover
An improved Go mode for emacs
A half-decent Haskell graph library with Ord vertices