Starred repositories
🙃 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…
Papers from the computer science community to read and discuss.
📖 A collection of pure bash alternatives to external processes.
📝 A curated list of awesome Raspberry Pi tools, projects, images and resources
A curated list about Audio Visualization.
My simple Swiss Army knife for http/https troubleshooting and profiling.
Command line script to flash SD card images of any kind
Kubernetes ported to ARM boards like Raspberry Pi.
A demo running 4000 Firecracker microVMs.
A vagrant project with an ubuntu box with the tools needed to do DevOps