What an excellent list, and thank you (grazie). I looked up each in the Florida noxious and invasive species database.
Azolla filiculoides: "American water fern” is OK.
Hydrocharis morsus-ranae: is not in Florida, but related frog bit "Limnobium Spongia" is FL native
Stratiotes aloides: No, invasive
Trapa natans: (water chesnut) I think it’s a “no”, am checking further
nuphar lutea: There’s a Florida native, nuphar advena “spatterdock”
nymphoides peltata: No, invasive (yellow floating heart)
Aponogeton distachyos: also called Cape pondweed is considered a water hawthorn, so I’m checking further, but I think "no"
Rubyduby (and others), I've intended to do better at sourcing non-invasive, non-noxious plants suitable for Florida ponds and so now I'm on a mission. I'll share good information as I get it.
Admin people, should I start some sort of "Florida pond plant" conversation/ thread?