fnussbaum

Pinned Repositories

evil
The extensible vi layer for Emacs.
Language:Emacs Lisp3.3k 43 1.4k281
evil
The extensible vi layer for Emacs.
Language:Emacs Lisp00
silver
Definition of the Viper intermediate verification language.
Language:Scala0 0 00
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language:Emacs Lisp0 0 00
vpr-mode
Viper mode for emacs
Language:Emacs Lisp0 0 00
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language:Emacs Lisp23.6k 482 8.5k4.9k
silver
Definition of the Viper intermediate verification language.
Language:Scala78 9 56540

fnussbaum's Repositories

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