In my current university is strong group dealing with noncommutative geometry. Since that, I wonder if anyone here is interested in this field and if so, what are prospects of computing some noncommutative geometry properties by computer with Julia? I know that some algorithms was proposed https://arxiv.org/abs/1611.09737, but I don’t know what is current state of this program (dead or alive?).

I know that is very broad topic, I just probing that problem, because I am at the end of one of my big projects and wondering about future possibilities.