Popular repositories Loading

1. silver silver Public

   Forked from viperproject/silver

   Definition of the Viper intermediate verification language.

   Scala

2. 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

3. vpr-mode vpr-mode Public

   Forked from viperproject/vpr-mode

   Viper mode for emacs

   Emacs Lisp

4. evil evil Public

   Forked from emacs-evil/evil

   The extensible vi layer for Emacs.

   Emacs Lisp

5. viperserver viperserver Public

   Forked from viperproject/viperserver

   HTTP server that manages verification requests to different tools from the Viper tool stack.

   Scala

6. viper-ide viper-ide Public

   Forked from viperproject/viper-ide

   This is the main repository for the Viper IDE extension for VS Code.

   TypeScript