🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Papers from the computer science community to read and discuss.

Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these s…

A collection of ZSH frameworks, plugins, themes and tutorials.

The Fish Shell Framework

Supply-chain Levels for Software Artifacts

Multi platform setup for Coq, Coq libraries and tools

Daily updated list of IP addresses / CIDR blocks used by data centers, cloud service providers, servers, etc.

Docker image with GHC+musl for static executables

ghc and cabal completion for zsh shell

Setup VPN and route Russian GOV and ORG services without VPN