Comparing Idris-dev and Rakudo 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, potentially niche community focused on dependently typed functional programming, likely appealing to researchers, educators, or developers requiring rigorous proof assistants. In contrast, Rakudo, with 1,863 stars and a notable 8 new stars in the last 30 days, shows more recent momentum, pointing to a growing or at least actively engaged community. This project's multi-VM support (MoarVM, JVM, JS) broadens its appeal to a wider range of developers, potentially those interested in polyglot development, scripting, or exploring the Raku language's features. Idris-dev's use cases seem targeted towards formal verification and advanced type theory applications, given its dependently typed nature. Rakudo, with its language versatility and multiple runtime environments, appears suited for more general-purpose programming needs, possibly attracting developers looking for a dynamic language with the option to leverage different platforms. The community sizes, inferred from star counts, suggest Idris-dev has a larger overall following, but Rakudo's recent activity hints at a more vibrant current community engagement.