arnar

cv

lightroommate

Small bottle script to display a Lightroom catalog with cached jpeg previews

vim-matchopen

Vim plugin to highlight the last opened but unclosed delimiter from the cursor position forward.

connect4_comm

vim-config

My .vim folder

arnar.github.io

My github user page

ccs-searching

A Haskell implementation of a rudimentary model checker for CCS+HML by applying A* search

dotfiles

My config files for shells, various unix utils etc.

forskeytabokin

msc-thesis

xmonad_config

My XMonad configuration

falskur_fjolnir

utlond

vim-pythontextobj

vim plugin to specify text object targets for python classes and functions

adafruit-seesaw

Rust driver for the Adafruit SeeSaw

diffconflicts

A better Vimdiff Git mergetool

forgot-me-password

A client side password generator.

gulur.is

iso8601

Parsing ISO8601 dates using nom

mal

mal - Make a Lisp

mundilfari

A simple time-tracking application

passkeys.dev

source for the passkeys.dev developer site

popl2014-papers

pyramid_debugtoolbar

Pyramid debug toolbar

rust-analyzer

An experimental Rust compiler front-end for IDEs

secspec

select2

Select2 is a jQuery based replacement for select boxes. It supports searching, remote data sets, and infinite scrolling of results.

straeto-data

Data for (hopefully) all publicly available and user contributed static data for Strætó bs.

webauthn

Web Authentication WG: https://www.w3.org/Webauthn Editors' Draft:

webauthndemo

An example Java Relying Party implementation of the WebAuthn specification