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

Frege/frege

vs

idris-lang/Idris-dev

3.5K starsFROZEN

Star Growth Trajectory

Momentum

Growth

COLD

Last 30 days+4 stars

Growth

FROZEN

Last 30 days+0 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More Frege/frege comparisons

More idris-lang/Idris-dev comparisons