Trending Repos
TrendingRisersNewestTopicsCollectionsCompare
TrendingRisersNewestTopicsCollectionsCompare
Trending Repos

Trending Repos tracks GitHub momentum from stars, forks, and rank history.

Explore

TrendingRisersNewestTopicsCollections

Tools

SearchCompareBadgesSubmit a repo

Project

AboutStatsDevelopersContactPrivacy
Back to trending
PrincetonUniversity/VST avatar

PrincetonUniversity/VST

GitHub

Verified Software Toolchain

Rocq Prover498 stars99 forks
ccompcertcoqcoq-librarycoq-vstformal-methodsformal-specificationformal-verificationproofproof-assistantverification

Momentum

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.

Rankings

PeriodRankScore
Daily
#104120.0
Weekly
#115200.0
Monthly
#151340.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • yappologistic/CUINative UI components for C: about 150 of them, with spring motion and full keyboard support. Windows, macOS and Linux, no dependencies.C893 stars#231 this week
  • Genymobile/scrcpyDisplay and control your Android deviceC154,543 stars#351 this week
  • FFmpeg/FFmpegMirror of https://git.ffmpeg.org/ffmpeg.gitC66,953 stars#393 this week
  • trufflesecurity/trufflehogFind, verify, and analyze leaked credentialsGo29,186 stars#444 this week
  • obsproject/obs-studioOBS Studio - Free and open source software for live streaming and screen recordingC79,317 stars#469 this week
  • lz4/lz4Extremely Fast Compression algorithmC12,757 stars#592 this week

Embeds

Best rank #2558
PrincetonUniversity/VST badge
Markdown