-
Reykjavík University
- Iceland
- https://algo.is
-
xg2xg Public
Forked from jhuangtw/xg2xgby ex-googlers, for ex-googlers - a lookup table of similar tech & services
1 UpdatedFeb 11, 2025 -
CompetitiveProgramming Public
A collection of algorithms, data structures and other useful information for competitive programming.
-
hattis Public
Forked from EmilGedda/hattisA simple command line interface for the kattis online coding judge.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 30, 2024 -
T-414-AFLV Public
T-414-ÁFLV: A Competitive Programming Course
-
problemtools Public
Forked from Kattis/problemtoolsTools to manage problem packages using the Kattis problem package format.
Python MIT License UpdatedMay 1, 2023 -
Archive Public
Forked from AlgoWiki/ArchiveAn archive of problems, test data and other resources from past programming contests. (https://archive.algo.is)
JavaScript MIT License UpdatedDec 27, 2022 -
-
domjudge Public
Forked from DOMjudge/domjudgeDOMjudge programming contest jury system
PHP GNU General Public License v2.0 UpdatedNov 12, 2022 -
domjudge-scripts Public
Forked from DOMjudge/domjudge-scriptsDOMjudge developer/maintainer helper scripts
Python UpdatedNov 9, 2022 -
codemirror5 Public
Forked from codemirror/codemirror5In-browser code editor (version 5, legacy)
JavaScript MIT License UpdatedJul 8, 2022 -
simpletracker Public
A minimal BitTorrent tracker written in PHP
-
kennitala_regex Public
Creating a regular expression for Icelandic kennitala
-
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix
Nix MIT License UpdatedSep 9, 2019 -
algorithm_x_python Public
An efficient implementation of Algorithm X in Python
-
-
ansible-couchdb Public
Forked from chialab/ansible-couchdb[READ ONLY] Ansible role to install, configure and initialize CouchDB on Ubuntu.
UpdatedAug 24, 2019 -
domained Public
Forked from TypeError/domainedMulti Tool Subdomain Enumeration
Python GNU General Public License v3.0 UpdatedFeb 21, 2019 -
distrobuilder Public
Forked from lxc/distrobuilderSystem container image builder for LXC and LXD
Go Apache License 2.0 UpdatedJun 6, 2018 -
unfolder Public
Automated tool for discovering hidden files and directories hosted on HTTP servers
-
popstacks Public
Enumerating the k-pop-stack-sortable permutations
-
NineToFive Public
NineToFive is a lightweight command-line application for keeping track of work hours
-
jay Public
Given initial terms of an unknown generating function F, conjecture a functional equation that F satisfies.
-
AlgoWiki Public
Forked from AlgoWiki/AlgoWikiA wiki dedicated to competitive programming
-
agda-translation-method Public
An Agda library for turning equations into bijections using the translation method
-
pattern-avoidance-machine Public
Generate optimized C++ code that checks, for a fixed pattern, if a permutation contains that pattern.
-
i3lock-next Public
Forked from owenthewizard/i3lock-nextCreate a fancy image to use with i3lock.
C MIT License UpdatedMar 22, 2017 -
generate-agda-comparators Public
A tiny Haskell library to generate less than and equals comparators for Agda data types
Haskell UpdatedFeb 19, 2017 -
-
astroid Public
Forked from astroidmail/astroida graphical threads-with-tags style, lightweight and fast, email client for notmuch, inspired by sup and others
C++ Other UpdatedFeb 12, 2017