Is there any reasonably updated list of (representative) examples of finitely presented groups with undecidable word problem?
By "representative" I mean "avoiding obvious redundancy", i.e. examples different from each other in providing (from some point of view) new insight into the problem.
A brief comment on the ideas and methods used, and even the concrete presentations when possible, would also be of interest.
In case there is not such list, I wonder if it is a suitable big-list for MO.