Comparing Idris-dev and PureScript 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 smaller, potentially stagnant community around a dependently typed functional programming language. This suggests limited recent adoption or activity, possibly appealing to a niche audience focused on advanced type theory and formal verification, particularly in academic or research settings. In contrast, PureScript, boasting 8,844 stars and a notable 20 new stars in the last 30 days, demonstrates stronger momentum and a larger, more engaged community. As a strongly-typed language compiling to JavaScript, its use cases appear broader, likely attracting developers working on web applications, frontend logic, and projects requiring interoperability with JavaScript ecosystems. PureScript's activity level suggests it is more viable for production environments seeking balance between type safety and JavaScript compatibility. The choice between the two would depend on whether the project requires the unique dependently typed features of Idris-dev for rigorous proof and verification, or the more mainstream, JavaScript-interoperable strengths of PureScript for web and application development.