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
anvil-verifier/anvil avatar

anvil-verifier/anvil

GitHub

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

Rust194 stars16 forks
kuberneteskubernetes-controllerkubernetes-operatorverification

Momentum

anvil-verifier/anvil has 194 GitHub stars. It gained 0 stars over 2 recorded days in the last 7 days (snapshots through Jul 8, 2026).

It currently ranks #26861 daily, #27400 weekly, #29380 monthly by momentum on Trending Repos; its best-ever rank is #2057.

Trending Repos first recorded it on Jun 10, 2026.

Rankings

PeriodRankScore
Daily
#268610.0
Weekly
#274000.0
Monthly
#293800.0
How scoring works

Engagement

Total stars
Daily new stars
Recent daily star gains
DateStars gainedTotal starsForks gained
Jul 8, 202601840
Jul 3, 202601840

Similar trending repositories

  • opensandbox-group/OpenSandboxSecure, Fast, and Extensible Sandbox runtime for AI agents.Go17,170 stars#198 this week
  • libracoder/kiriA small, fast container runtime for macOS, Windows and LinuxRust1,470 stars#247 this week
  • dsx-ai-factory/nvkeNVIDIA Kubernetes Engine (NVKE). A management plane for GPU Kubernetes on bare metal.Go1,114 stars#377 this week
  • trufflesecurity/trufflehogFind, verify, and analyze leaked credentialsGo29,186 stars#444 this week
  • aquasecurity/trivyFind vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and moreGo39,225 stars#627 this week
  • etcd-io/etcdDistributed reliable key-value store for the most critical data of a distributed systemGo52,692 stars#900 this week

Embeds

Best rank #2057
anvil-verifier/anvil badge
Markdown