idris-lang/Idris-dev

3.5K starsFROZEN
vs

swiftlang/swift

69.9K starsWARM

Star Growth Trajectory

Momentum

Growth

FROZEN
Last 30 days+0 stars

Growth

WARM
Last 30 days+9 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More idris-lang/Idris-dev comparisons

More swiftlang/swift comparisons