Popular repositories Loading

1. vim-ada vim-ada Public

   Vim scripts for ada programming

   Vim Script 1

2. vim-abc vim-abc Public

   Vim syntax file for the ABC notation (http://abcnotation.com/)

   Vim Script 1

3. vim-dedukti vim-dedukti Public

   Vim syntax for Dedukti file format

   Vim Script

4. vim-ocaml vim-ocaml Public

   Vim Script

5. dotfiles dotfiles Public

   Haskell

6. bcwrap bcwrap Public

   A simple wrapper around AtelierB bcomp

   OCaml