suprdewd Goto Github PK

gamma

A programming contest management system and environment.

generate-agda-comparators

A tiny Haskell library to generate less than and equals comparators for Agda data types

generatingfunctions

Fun with generating functions

googlecodejamrunner

A wrapper for C++ solutions to Google Code Jam problems

hattis

A simple command line interface for the kattis online coding judge.

helm-c-yasnippet

Helm source for yasnippet

home-manager

Manage a user environment using Nix

hops

HOPS - Handy Operations on Power Series

i3lock-next

Create a fancy image to use with i3lock.

idris-dev

A Dependently Typed Functional Programming Language

intoprufa

Þetta verkefni er eingöngu notað sem dæmi um OS kóða sem er geymdur á Github. Kóðinn sem um ræðir var skrifaður haustið 1997 og hefur e.t.v. elst misvel.

iron

Middleware-oriented, rapid, scalable, concurrent and safe server development in Rust.

isolate

Sandbox for securly executing untrusted programs

jay

Given initial terms of an unknown generating function F, conjecture a functional equation that F satisfies.

jquery

jQuery JavaScript Library

kappa

A project euler like contest environment.

kennitala_regex

Creating a regular expression for Icelandic kennitala

kitty

kitty, a lightweight minimalistic vimperator-like webkit-based browser.

ninetofive

NineToFive is a lightweight command-line application for keeping track of work hours

nixpkgs

Nix Packages collection

node

evented I/O for v8 javascript

node-blog

Markdown Blog written in Node.js with twitter bootstrap UI and ace editor for composing…

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes optional plugins for various tools (rails, git, OSX, brew,...), over 40 terminal themes, and an auto-updating tool so that you can keep up with the latest improvements from the community.

pattern-avoidance-machine

Generate optimized C++ code that checks, for a fixed pattern, if a permutation contains that pattern.

pop-stacked-perms

Enumerating the pop-stacked permutations

popstacks

Enumerating the k-pop-stack-sortable permutations

prezto

A community-driven framework for configuring Zsh.

problemtools

Tools to manage problem packages using the Kattis problem package format.

programming-battle

robozzle-cracker

A Robozzle Brute-Force Cracker.