Comparing Idris-dev and Pharo reveals distinct profiles in terms of momentum, community size, and use cases. Idris-dev, with 3,466 stars but only 0 new stars in the last 30 days, indicates a established 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 requiring rigorous proof assistants. In contrast, Pharo, with 1,436 stars and a notable 8 new stars in the last 30 days, shows more recent momentum, suggesting a growing or at least actively engaged community. Its dynamic, reflective, and live programming capabilities, inspired by Smalltalk, position it for use cases in rapid development, interactive systems, and possibly educational settings focusing on object-oriented principles. The community size of Idris-dev appears larger historically but less active currently, while Pharo's community is smaller in size but more vibrant in the short term. Idris-dev is suited for projects requiring strong type safety and formal verification, whereas Pharo aligns with needs for dynamic, interactive, and possibly experimental software development. Choosing between them would depend on whether the project priorities lie with dependent typing for functional programming or dynamic object-oriented live programming.