Comparing Idris-dev and Ponylang reveals distinct profiles in terms of momentum, community size, and use cases. Idris-dev, with 3,466 stars but no new stars in the last 30 days, indicates a mature but currently stagnant project in terms of public interest. This suggests a smaller, possibly niche community focused on dependently typed functional programming, likely appealing to researchers, educators, or developers working on proof-assisted development and formal verification. In contrast, Ponylang, boasting 6,066 stars and a notable 20 new stars in the last 30 days, demonstrates strong, growing momentum and a larger, more active community. Its actor-model, capabilities-secure design positions it for systems programming, concurrent, and secure application development, attracting engineers working on high-performance, distributed, or security-critical systems. While Idris-dev's use cases seem more specialized towards type theory and formal methods, Ponylang's appeal is broader, targeting developers seeking modern, secure, and performant system development capabilities. The community engagement and recent interest in Ponylang suggest it is currently more viable for projects requiring active support and future development.