A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.

Manage filesystem snapshots and allow undo of system modifications

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

Simple Linux build, bootable under qemu for multiple architectures.

Universal markup converter

Haskell library for space- and time-efficient operations over Unicode text.

The Haskell Tool Stack

A monadic parser combinator library

A tiling terminal emulator for Linux using GTK 3

A network filesystem client to connect to SSH servers

A unit testing framework for C

Bash script for system backup using rsync.

Functional Open C Structures - C Data Structures Library

Extensible eXchange Protocol Daemon

A collection of custom themes for Emacs. All the themes are named after famous programmers.

Random sequence generator written in Haskell.

Greenbot: The Green IRC Bot