HaxeFoundation/haxe

6.9K starsWARM
vs

rocq-prover/rocq

5.4K starsWARM

Star Growth Trajectory

Momentum

Growth

WARM
Last 30 days+41 stars

Growth

WARM
Last 30 days+33 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More HaxeFoundation/haxe comparisons

More rocq-prover/rocq comparisons