idris-lang/Idris-dev vs red/red — Star Growth & Community Comparison

idris-lang/Idris-dev

3.5K starsFROZEN

vs

red/red

Star Growth Trajectory

Momentum

Growth

FROZEN

Last 30 days+0 stars

Growth

COLD

Last 30 days+6 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More idris-lang/Idris-dev comparisons

More red/red comparisons