arnar/popl2014-papers
Public repository.
Developer Profile
arnar
Discovered public repositories for arnar in the GitHub catalog.
arnar/straeto-data
Data for (hopefully) all publicly available and user contributed static data for Strætó bs.
arnar/mundilfari
A simple time-tracking application
arnar/select2
Select2 is a jQuery based replacement for select boxes. It supports searching, remote data sets, and infinite scrolling of results.
arnar/forgot-me-password
A client side password generator.
arnar/pyramid_debugtoolbar
Pyramid debug toolbar
arnar/secspec
Public repository.
arnar/gulur.is
Public repository.
arnar/vim-matchopen
Vim plugin to highlight the last opened but unclosed delimiter from the cursor position forward.
arnar/vim-pythontextobj
vim plugin to specify text object targets for python classes and functions
arnar/forskeytabokin
Public repository.
arnar/lightroommate
Small bottle script to display a Lightroom catalog with cached jpeg previews
arnar/vim-config
My .vim folder
arnar/falskur_fjolnir
Public repository.
arnar/msc-thesis
Public repository.
arnar/cv
Public repository.
arnar/dotfiles
My config files for shells, various unix utils etc.
arnar/utlond
Public repository.
arnar/ccs-searching
A Haskell implementation of a rudimentary model checker for CCS+HML by applying A* search
arnar/xmonad_config
My XMonad configuration
arnar/arnar.github.io
My github user page
arnar/connect4_comm
Public repository.