The interesting thing is, even to this day, there is no wallet that supports miniscript (not even Bitcoin Core) and that is considering Taproot has already been active. Could it just be a lack of developers?
Or lack of usage, there's no reason to support miniscript when software developer isn't their main target. Besides, Minsc (
https://min.sc/) also exist which offer easier usage and have more star on GitHub (
150 vs
106 stars).
Minaccia isca different project, as you said.
Incidentally, you can discuss it here:
New ""Tier Three"" Programming Language: MinscI guess the scope for this tool is to ease the miniscript development.
Can you guess there will be a Minsc Version too?