Comparing idris-lang/Idris-dev and typelead/eta reveals distinct profiles in terms of momentum, community size, and use cases. Idris-dev, with 3,466 stars, indicates a larger community base compared to eta's 2,625 stars. However, the recent activity, measured by stars gained in the last 30 days (0 for Idris-dev vs. 1 for eta), suggests eta has a slightly more active, albeit small, current following. Idris-dev's larger, yet dormant, community may reflect its maturity as a dependently typed functional programming language, potentially attracting a niche audience interested in advanced type systems and formal verification. Its use cases likely involve research, education, and specific applications requiring rigorous proof assistants. In contrast, eta, as a Haskell dialect on the JVM, seems to cater to a different need - leveraging Haskell's strong typing on the Java Virtual Machine, possibly for building scalable, reliable applications where JVM ecosystem resources are beneficial. The slightly more recent activity might indicate a smaller but currently more engaged user base, perhaps in niches where Haskell's benefits are sought on the JVM. Both projects serve specialized roles, with Idris-dev focusing on dependent typing for verification and eta on Haskell compatibility with the JVM ecosystem. Choosing between them would depend on whether the primary need is advanced type theory (Idris-dev) or Haskell on the JVM (eta).