Lean circuit DSL
Verified-zkEVM/clean has 200 GitHub stars.
It currently ranks #32206 daily, #32559 weekly, #34043 monthly by momentum on Trending Repos; its best-ever rank is #718.
Trending Repos first recorded it on Aug 16, 2026.