Comparing Idris-dev and OCaml reveals distinct profiles in terms of momentum, community size, and use cases. Idris-dev, with 3,466 stars and a notably low 0 stars gained in the last 30 days, indicates a smaller, less actively growing community at present. This suggests a potentially niche momentum, possibly appealing to a specialized group interested in dependently typed functional programming, particularly in areas like formal verification and proof-assisted development. In stark contrast, OCaml, boasting 6,249 stars and a significant 60 stars added in the last 30 days, demonstrates a larger, more vibrant community with a currently higher growth rate. This momentum, coupled with its broader application scope as a general-purpose, functional-first language, positions OCaml for a wider range of use cases, from systems programming and research to web development and data processing, catering to a broader audience of senior engineers seeking robustness and flexibility. The choice between the two would largely depend on the specific project requirements and the team's expertise or interests: Idris-dev for projects heavily involving dependent types and formal verification, and OCaml for more conventional, yet still functionally oriented, software development needs.