syohex/lean
Lean Theorem Prover
A powerful and beautiful mode-line for Emacs.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Lean Theorem Prover
Bracketed Paste Mode support within emacs -nw
Integrate the Google Repo tool with emacs
tldr client in Golang