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

idris-lang/Idris-dev

3.5K starsFROZEN

vs

scala/scala

14.4K starsWARM

Star Growth Trajectory

Momentum

Growth

FROZEN

Last 30 days+0 stars

Growth

WARM

Last 30 days+13 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More idris-lang/Idris-dev comparisons

More scala/scala comparisons