radumarg/leaf

Zero stars, forks, and velocity over 239 days indicates this is a personal experiment with no adoption or community validation. The README provides minimal context on what differentiates this quantum language from existing alternatives (Silq, Q#, Qiskit, Cirq). While the use of Idris2 and dependent types for quantum programming is conceptually interesting—potentially enabling more rigorous type-safety for quantum operations—the project shows no evidence of working implementation, user testing, or comparative advantages. The WIP status and complete inactivity suggest the author has abandoned or paused development. Frontier labs (IBM, Google, IonQ, Microsoft) are heavily invested in quantum programming languages; they would likely view a volunteer-built Idris2 DSL as either subsumed by their existing platforms or not technically differentiated enough to warrant defensive concern. The high frontier risk reflects that quantum language design itself is a crowded, well-funded space where incumbents have resources and quantum hardware access that dwarf a solo hobbyist project. No moat, no users, no momentum—textbook unfunded research idea.