Noncommutative Expand over addition in Mathematica

Question

I need to write a function(s) that completely expands noncommutative multiplication over addition?
For example:
a ** (b + c^2) would expand to
a ** b + a ** c^2<

Answer 1

The newest version of NCAlgebra supports ReplaceRepeated through NCReplaceRepeated.