Dev Radar
Support
LiveUpdated 2026-09-23 19:34 UTC

lean-pool

lean-pool — Contribute to Vilin97/lean-pool development by creating an account on GitHub.

lean-pool is Contribute to Vilin97/lean-pool development by creating an account on GitHub.. It is ranked #891 on the Dev Radar, in Other, first seen 2 h ago and shared in 1 post (238 views).

Visit github.com

GitHub - Vilin97/lean-pool · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Vilin97 / lean-pool Public Notifications You must be signed in to change notification settings Fork 25 Star 116 main Branches Tags Go to file Code Open more actions menu Latest commit History 1,551 Commits 1,551 Commits Folders and files Name Name Last…

What people said about lean-pool on X

I think more research and technical docs will be written as "iceberg papers" over time. The humans write the first part, for other humans to read. The AI writes the rest, filling in all the details, for other AIs to read, or for humans to occasionally refer to.

@lacker, 2 h ago · 3 likes · see the post

Alternatives to lean-pool

lean-pool in numbers

FAQ

What is lean-pool?

Contribute to Vilin97/lean-pool development by creating an account on GitHub. It was first shared on X 2 h ago and is ranked #891 on the Dev Radar.

Is lean-pool free?

It is open source.

Who shared lean-pool?

1 account on X, including @lacker, in 1 post totalling 238 views.

Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 22.8k posts from 5k X accounts over the last 21 days, 2.6k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-23 19:34 UTC. Full method.