Universal markup converter

ShellCheck, a static analysis tool for shell scripts

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

A shell script which checks your $HOME for unwanted files and directories.

Agda is a dependently typed programming language / interactive theorem prover.

Terminal-based presentations using Pandoc

A multilingual package manager for Arch Linux and the AUR.

Simple clipboard manager to be integrated with rofi - Static binary available

📺 A free and simple to use video player made with Haskell.

An HTTP client engine, intended as a base layer for more user-friendly packages.

A Haskell library for line input in command-line programs.

Haskell HTTP package

Generate colorful wallpapers!

"Hack" like a programmer in movies and games! Inspired by hackertyper.net