rocq-prover/rocq

5.4K starsWARM
vs

vlang/v

37.5K starsHOT

Star Growth Trajectory

Momentum

Growth

WARM
Last 30 days+33 stars

Growth

HOT
Last 30 days+162 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More rocq-prover/rocq comparisons

More vlang/v comparisons

nim/lang-nim vs vlang/velixir/lang-elixir vs vlang/vjetbrains/kotlin vs vlang/vjulialang/julia vs vlang/vvlang/v vs ziglang/zig