I came across the definition of Hilbert manifold on Wikipedia (https://en.wikipedia.org/wiki/Hilbert_manifold) and was hoping to collect some (infinite-dimensional) examples.
I'd be particularly interested in a good reference on the example given in the article about Sobolev maps from $S^1$ to a manifold.