🙃 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…

📖 A collection of pure bash alternatives to external processes.

Docker image to run an IPsec VPN server, with IPsec/L2TP, Cisco IPsec and IKEv2

DeepDive

State of AI

Code for the paper "Are Sixteen Heads Really Better than One?"

A collection of useful scripts, templates, and examples for clusters using SLURM https://slurm.schedmd.com/

Central repository for QA-SRL data.