Verified Software Toolchain
PrincetonUniversity/VST has 498 GitHub stars.
It currently ranks #10412 daily, #11520 weekly, #15134 monthly by momentum on Trending Repos; its best-ever rank is #2558.
Trending Repos first recorded it on May 26, 2026.