dotnet/fsharp

4.3K starsWARM
vs

idris-lang/Idris-dev

3.5K starsFROZEN

Star Growth Trajectory

Momentum

Growth

WARM
Last 30 days+29 stars

Growth

FROZEN
Last 30 days+0 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More dotnet/fsharp comparisons

More idris-lang/Idris-dev comparisons