To me, those plants look like Rotala rotundfolia. It's a pretty commonly available aquarium plant. I have some in my tank, but it's not really my cup of tea. I'm thinking about removing it.
Maybe we can work out a deal...
Sent from my iPhone using Aquarium Advice