Bjarki Ágúst Guðmundsson's repositories
T-414-AFLV
T-414-ÁFLV: A Competitive Programming Course
CompetitiveProgramming
A collection of algorithms, data structures and other useful information for competitive programming.
simpletracker
A minimal BitTorrent tracker written in PHP
agda-translation-method
An Agda library for turning equations into bijections using the translation method
algorithm_x_python
An efficient implementation of Algorithm X in Python
kennitala_regex
Creating a regular expression for Icelandic kennitala
NineToFive
NineToFive is a lightweight command-line application for keeping track of work hours
pattern-avoidance-machine
Generate optimized C++ code that checks, for a fixed pattern, if a permutation contains that pattern.
ansible-couchdb
[READ ONLY] Ansible role to install, configure and initialize CouchDB on Ubuntu.
Archive
An archive of problems, test data and other resources from past programming contests. (https://archive.algo.is)
codemirror5
In-browser code editor (version 5, legacy)
distrobuilder
System container image builder for LXC and LXD
domjudge-scripts
DOMjudge developer/maintainer helper scripts
generate-agda-comparators
A tiny Haskell library to generate less than and equals comparators for Agda data types
home-manager
Manage a user environment using Nix
i3lock-next
Create a fancy image to use with i3lock.
pop-stacked-perms
Enumerating the pop-stacked permutations
problemtools
Tools to manage problem packages using the Kattis problem package format.
www.akc.is
Source code for my homepage, http://akc.is