Text this: Computational Noncommutative Algebra and Applications