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+17 starsfrom 15,563 · score 2.89
2.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+1 starsfrom 523 · score 0.69
3.rocq-prover / platformMulti platform setup for Rocq, Rocq libraries and toolsShellCC0-1.0251 total56 forks+1 starsfrom 250 · score 0.69