JuliaLang/julia

48.6K starsHOT
vs

rocq-prover/rocq

5.4K starsWARM

Star Growth Trajectory

Momentum

Growth

HOT
Last 30 days+208 stars

Growth

WARM
Last 30 days+33 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More JuliaLang/julia comparisons

julialang/julia vs nim/lang-nimjulialang/julia vs vlang/velixir/lang-elixir vs julialang/juliajetbrains/kotlin vs julialang/juliajulialang/julia vs ziglang/zig

More rocq-prover/rocq comparisons