The Typst web app, which is similar to Overleaf, is closed source. Overleaf itself is open source, yes.