An academic quantum programming language from Dalhousie University, written in Haskell with strong typing, circuit templating, and scalable parameterized circuits.
Not widely used in industry, but valued in research settings for exploring quantum programming language theory.