Pinned Repositories
i3
A chef recipe to install i3, the improved tiling window manager
latex
A chef recipe to install LaTeX
leiningen
A chef recipe to install leiningen
node
A chef recipe for installing node
prolog
A chef recipe to install prolog
proofgeneral
A chef recipe to install Proof General
scheme
A chef recipe to install scheme
signature
Email signature for m-industries
train-schedule
A little node server that will show outbound trains
xautolock
A chef recipe to install xautolock
dvb-industries's Repositories
dvb-industries/.i3
i3: improved tiling window manager configuration
dvb-industries/coq
A chef recipe for the proof assistant coq
dvb-industries/gcc
A chef recipe to update gcc
dvb-industries/go
A chef recipe to install the programming language go
dvb-industries/i3
A chef recipe to install i3, the improved tiling window manager
dvb-industries/installation
Ideas how to setup a work laptop
dvb-industries/latex
A chef recipe to install LaTeX
dvb-industries/leiningen
A chef recipe to install leiningen
dvb-industries/node
A chef recipe for installing node
dvb-industries/prolog
A chef recipe to install prolog
dvb-industries/proofgeneral
A chef recipe to install Proof General
dvb-industries/scheme
A chef recipe to install scheme
dvb-industries/signature
Email signature for m-industries
dvb-industries/train-schedule
A little node server that will show outbound trains
dvb-industries/xautolock
A chef recipe to install xautolock
dvb-industries/.config-fish
Configuration for the smart and user-friendly shell
dvb-industries/.emacs.d
Emacs configuration
dvb-industries/caps_lock
A chef recipe to map caps lock to control
dvb-industries/eclipse
A chef recipe to install eclipse
dvb-industries/emacs
A chef recipe to install Emacs
dvb-industries/fish
A chef recipe to install fish, the smart and user-friendly command line shell
dvb-industries/geogebra
A chef recipe to install geogebra
dvb-industries/haskell
A chef recipe to install haskell
dvb-industries/imagemagick
A chef recipe to install imagemagick
dvb-industries/java
A chef recipe to install Java