idris-lang/Idris-dev

3.5K starsFROZEN
vs

rust-lang/rust

111.2K starsHOT

Star Growth Trajectory

Momentum

Growth

FROZEN
Last 30 days+0 stars

Growth

HOT
Last 30 days+493 stars

Community Contrast

Notable Stargazers

Notable Stargazers

More idris-lang/Idris-dev comparisons

More rust-lang/rust comparisons

nim/lang-nim vs rust/lang-rustrust/lang-rust vs vlang/velixir/lang-elixir vs rust/lang-rustjetbrains/kotlin vs rust/lang-rustjulialang/julia vs rust/lang-rust