As a developer tools analyst, I've compared two open-source projects for senior engineers: Erlang/OTP and Idris-dev. Here's a factual analysis of their momentum, community size, and apparent use cases: Erlang/OTP boasts a significantly larger community, with 12,083 stars on GitHub, and a notable recent interest indicated by 36 stars added in the last 30 days. This suggests strong, ongoing momentum and a broad user base. Its use cases are well-established in highly scalable, fault-tolerant, and concurrent systems, particularly in telecommunications, finance, and messaging platforms. In contrast, Idris-dev, a dependently typed functional programming language, has a much smaller community with 3,466 stars and no new stars in the last 30 days, indicating relatively stagnant momentum. Its use cases appear more niche, focusing on research, formal verification, and type-driven development, appealing primarily to academia and specific research-oriented industries. While Erlang/OTP's large, active community and wide adoption in industry suggest it's a stable choice for production environments requiring scalability and reliability, Idris-dev's smaller, less active community may indicate higher risk for dependency and support in large-scale projects, though it offers unique advantages in domains requiring rigorous proof and type safety. Senior engineers should consider these factors based on their project's specific needs and tolerance for community support versus innovative type system capabilities.