This image and the two others below show members of the genus Haworthiopsis, which was recently split from Haworthia.
I would like to propose moving them to the genus entry for Haworthiopsis instead:
Haworthiopsis
I'm pretty sure the plant on the ground is Haworthiopsis attenuata, and this plant (with a stem) looks like H. reinwardtii (maybe coarctata), but all 3 would be perfectly fine in the genus entry for Haworthiopsis.
Please let me know what you think.