1.Y2Z / monolith⬛️ GUI/CLI tool and library for saving complete web pages as a single HTML filesave-the-internetprocrastinationits-mineno-more-404tab-rehabe-hoarding+2 moreRustCC0-1.016K total484 forks+93 starsfrom 15,487 · score 4.54
2.Piebald-AI / awesome-gemini-cli-extensionsA curated list of awesome Gemini CLI extensions.CC0-1.090 total100 forks+22 starsfrom 68 · score 3.14
3.rocq-prover / platformMulti platform setup for Rocq, Rocq libraries and toolsShellCC0-1.0251 total56 forks+5 starsfrom 246 · score 1.79
4.ko1nksm / getoptionsAn elegant option/argument parser for shell scripts (full support for bash and all POSIX shells)shell-scriptsbashkshzshdashbusybox+7 moreShellCC0-1.0524 total31 forks+2 starsfrom 522 · score 1.10