Pinned Loading

1. ViT ViT Public

   ViT is a plugin for LaTeX support in Vim.

   Vim Script 2

2. FERAT FERAT Public

   FERAT is a new certification framework for expansion-based QBF solving.

   Python 1

3. GitNERD GitNERD Public

   GitNERD is an extension of the popular NERDTree for adding Git status indicators.

   Vim Script 1

4. VimSE VimSE Public

   VimSE is a general purpose 'runtime library' for Vim.

   Vim Script 1

5. Vim-SAT-QBF Vim-SAT-QBF Public

   This plugin is a combination of previously split plugins. These include 'Vim-DIMACS', 'Vim-QCIR', and 'Vim-Limboole'. Now, the plugin is a repository for many types of SAT/QBF-related files, includ…

   Vim Script