Comparing Idris-dev and IoLanguage reveals distinct profiles in terms of momentum, community size, and use cases. Idris-dev, with 3,466 stars, indicates a larger overall community, suggesting broader recognition and potentially more extensive use in dependently typed functional programming niches, likely appealing to researchers and developers focusing on formal verification and proof-assisted development. In contrast, IoLanguage, with 2,757 stars, shows a smaller but more recently active community, garnering 3 new stars in the last 30 days compared to Idris-dev's 0. This recent activity suggests Io might be experiencing a resurgence or attracting new, possibly experimental, users interested in its dynamic, prototype-based paradigm inspired by Self, Smalltalk, and LISP, which could be beneficial for rapid prototyping and educational purposes. Idris-dev's lack of recent star activity may indicate a mature, stable project with less need for frequent updates or a shift in focus towards maintenance rather than growth, catering to a specific, possibly academic or research-oriented audience. IoLanguage's recent stars imply ongoing interest and potential for community growth, attracting developers looking for a flexible, scripting-oriented language. The use cases diverge significantly: Idris-dev is suited for projects requiring strong type safety and formal verification, such as critical software components or academic research. IoLanguage, with its dynamic nature, seems more aligned with rapid development, educational projects, or environments needing flexible scripting capabilities. Choosing between them would depend on whether the project prioritizes dependently typed functional programming with strong verification capabilities or a more dynamic, prototype-based approach.