Pinned Repositories
arnar.github.io
My github user page
ccs-searching
A Haskell implementation of a rudimentary model checker for CCS+HML by applying A* search
connect4_comm
cv
dotfiles
My config files for shells, various unix utils etc.
forskeytabokin
lightroommate
Small bottle script to display a Lightroom catalog with cached jpeg previews
vim-config
My .vim folder
vim-matchopen
Vim plugin to highlight the last opened but unclosed delimiter from the cursor position forward.
arnar's Repositories
arnar/cv
arnar/lightroommate
Small bottle script to display a Lightroom catalog with cached jpeg previews
arnar/vim-matchopen
Vim plugin to highlight the last opened but unclosed delimiter from the cursor position forward.
arnar/connect4_comm
arnar/vim-config
My .vim folder
arnar/arnar.github.io
My github user page
arnar/ccs-searching
A Haskell implementation of a rudimentary model checker for CCS+HML by applying A* search
arnar/dotfiles
My config files for shells, various unix utils etc.
arnar/forskeytabokin
arnar/msc-thesis
arnar/xmonad_config
My XMonad configuration
arnar/falskur_fjolnir
arnar/utlond
arnar/vim-pythontextobj
vim plugin to specify text object targets for python classes and functions
arnar/adafruit-seesaw
Rust driver for the Adafruit SeeSaw
arnar/diffconflicts
A better Vimdiff Git mergetool
arnar/forgot-me-password
A client side password generator.
arnar/gulur.is
arnar/iso8601
Parsing ISO8601 dates using nom
arnar/mal
mal - Make a Lisp
arnar/mundilfari
A simple time-tracking application
arnar/passkeys.dev
source for the passkeys.dev developer site
arnar/popl2014-papers
arnar/pyramid_debugtoolbar
Pyramid debug toolbar
arnar/rust-analyzer
An experimental Rust compiler front-end for IDEs
arnar/secspec
arnar/select2
Select2 is a jQuery based replacement for select boxes. It supports searching, remote data sets, and infinite scrolling of results.
arnar/straeto-data
Data for (hopefully) all publicly available and user contributed static data for Strætó bs.
arnar/webauthn
Web Authentication WG: https://www.w3.org/Webauthn Editors' Draft:
arnar/webauthndemo
An example Java Relying Party implementation of the WebAuthn specification