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+601 starsfrom 14,979 · score 6.40
2.Piebald-AI / awesome-gemini-cli-extensionsA curated list of awesome Gemini CLI extensions.CC0-1.090 total100 forks+39 starsfrom 51 · score 3.69
3.rocq-prover / platformMulti platform setup for Rocq, Rocq libraries and toolsShellCC0-1.0251 total56 forks+18 starsfrom 233 · score 2.94
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+13 starsfrom 511 · score 2.64