f1u77y

web-media-controller

Allows controlling media player on different sites with Media Player widget on your desktop

wmc-mpris

MPRIS proxy for usage with Web Media Controller on GNU/Linux

headphones-plug-detector

Pauses media when headphones get plugged out and plays it when they get plugged in

emacs-pencil-theme

Pencil theme port for GNU Emacs

cf-utils

A set of utilities for codeforces.com

contestwatcher

A telegram bot for checking upcoming contests

jacklistener

Jack Listener Daemon

miniaicups

Правила, исходники и прочее для aicups.ru

web-scrobbler

Scrobble music videos all around the web!

mpdas

MPD AudioScrobbler written in C++ using libcurl

SnakeClient

SnakeServer

Multiplayer Snake game server

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

xmonad-contrib

Contributed modules for xmonad

xmonad-testing

Stack/cabal setup for testing xmonad* and configurations