FStarLang/FStar

Momentum

FStarLang/FStar has 3,142 GitHub stars. It gained +1 stars over 1 recorded day in the last 7 days and +2 over 5 recorded days in the last 30 days (snapshots through Nov 10, 2026).

Its biggest recent day was Oct 21, 2026, with +1 stars.

It currently ranks #4125 daily, #4035 weekly, #5415 monthly by momentum on Trending Repos; its best-ever rank is #634.

Trending Repos first recorded it on May 16, 2026.