Pinned Loading

1. syl20bnr/spacemacs syl20bnr/spacemacs Public

   A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

   Emacs Lisp 23.7k 4.9k

2. dotfiles dotfiles Public

   A collection of my (mostly outdated) dotfiles.

   Emacs Lisp 6

3. emacs-helm/helm emacs-helm/helm Public

   Emacs incremental completion and selection narrowing framework

   Emacs Lisp 3.4k 390

4. abo-abo/hydra abo-abo/hydra Public

   make Emacs bindings that stick around

   Emacs Lisp 1.8k 113

5. coq coq Public

   Forked from coq/coq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

6. spacemacs spacemacs Public

   Forked from syl20bnr/spacemacs

   A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

   Emacs Lisp