Trending Repos
TrendingRisersNewestCollectionsTopicsCompare
RepositoriesDevelopers on GitHub (external site)LanguagesCollectionsBadges

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

AboutStatsSearchSubmit a repoDevelopersContactPrivacy
Back to trending
Verified-zkEVM/VCVio avatar

Verified-zkEVM/VCVio

GitHub

A Lean library for machine-checked cryptographic proofs.

Lean175 stars61 forksApache-2.0
cryptographyformal-verificationgame-hoppinglean4post-quantum-cryptographyprogram-logicproof-assistant

Momentum

Verified-zkEVM/VCVio has 175 GitHub stars. It gained +2 stars over 2 recorded days in the last 7 days (snapshots through Nov 11, 2026).

Its biggest recent day was Nov 10, 2026, with +1 stars.

It currently ranks #3955 daily, #4971 weekly, #7675 monthly by momentum on Trending Repos; its best-ever rank is #3638.

Trending Repos first recorded it on Nov 6, 2026.

Rankings

PeriodRankScore
Daily
#39550.6
Weekly
#49710.4
Monthly
#76750.2
How scoring works

Engagement

Total stars
Daily new stars
Recent daily star gains
DateStars gainedTotal starsForks gained
Nov 11, 2026+11750
Nov 10, 2026+11740

Similar trending repositories

  • h5i-dev/h5iAn Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.Rust915 stars#2650 this week
  • open-quantum-safe/liboqsC library for prototyping and experimenting with quantum-resistant cryptographyC3,127 stars#3952 this week
  • leanprover/lean4Lean 4 programming language and theorem proverLean9,919 stars#1313 this week
  • bitcoin/bitcoinBitcoin Core integration/staging treeC++90,656 stars#1558 this week
  • leanprover-community/mathlib4The math library of Lean 4Lean4,469 stars#1750 this week
  • cryptomator/cryptomatorCryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data.Java16,487 stars#1841 this week

Embeds

Best rank #3638
Verified-zkEVM/VCVio badge
Markdown