Stars
mouse-based window manager that can tile windows inside floating containers
Tickergram is a Telegram bot to look up quotes, charts, general market sentiment and more.
Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON
An ansible role that helps configure a server as a BastilleBSD host
runj is an experimental, proof-of-concept OCI-compatible runtime for FreeBSD jails.
Allows adding extensions from chrome web store on ungoogled-chromium. Also adds semi-automatic extension updating.
Functional programming tools for the shell
Bootstrap jQuery widget for multi-digit pincode input
A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.)
A strongly-typed language that compiles to JavaScript
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing co…
xmonad with the X11 abstracted and configured with Idris