Pinned

1. lsrv Public

   A tool to deal with all the services running on your desktop and the many port numbers to remember

   Go 2

2. vim-opencl Public

   OpenCL syntax file for VIM

   Vim Script 6 2

3. vodtool Public

   C

4. yubioath-desktop-nix Public

   Nix expression for building yubioath-desktop

   Nix

5. tlatoolbox-nix Public

   Nix expression for TLA Toolbox

   Nix 1

6. vagrant-vboxnow Public

   A Vagrant plugin to speed up creation of VirtualBox VMs.

   Ruby 5