Pinned Repositories
evil
The extensible vi layer for Emacs.
evil
The extensible vi layer for Emacs.
silver
Definition of the Viper intermediate verification language.
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
vpr-mode
Viper mode for emacs
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
silver
Definition of the Viper intermediate verification language.
fnussbaum's Repositories
fnussbaum/evil
The extensible vi layer for Emacs.
fnussbaum/silver
Definition of the Viper intermediate verification language.
fnussbaum/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
fnussbaum/vpr-mode
Viper mode for emacs