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.rocq-prover / platformMulti platform setup for Rocq, Rocq libraries and toolsShellCC0-1.0251 total56 forks+18 starsfrom 233 · score 2.94
3.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