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+248 starsfrom 15,332 · score 5.52
2.rocq-prover / platformMulti platform setup for Rocq, Rocq libraries and toolsShellCC0-1.0251 total56 forks+10 starsfrom 241 · score 2.40
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+7 starsfrom 517 · score 2.08