* Pyqt * Supertuxkart * Quakespasm (Really popular Quake 1 engine) * Hammer of Thyrion (Only major Hexen 2 engine)
And I'm sure there are more.
The later two make some sense - they aren't major projects by any means, and are just hobby engine ports that probably would take a lot of work to bring to gitlab/hub.
Pyqt is downright massive, it is the premire GUI toolkit for Python, and for some reason it is still on sourceforge.
Supertuxkart is one of the pantheon of really good open source games, and recently got a massive update. And its still on Sourceforge...
So there is still a lot to lose if Sourceforge went away. Plenty of projects desperately need to move but have not done so yet for various reasons.
Actually, SuperTuxKart definitely moved some things away from Sourceforge already. You can find the Github account at https://github.com/supertuxkart. (Finished) assets and their "development" files (blender files, lossless audio, ...) are still on Sourceforge. I have not been actively involved with the project in a few years now, but as far as I am aware this is due to the simply enormous size that assets take up in a game. The finalised assets download is 650MB, the originals is 1.5GB (see http://supertuxkart.sourceforge.net/Source_control). Due to the nature of svn this is only the current HEAD, you can imagine how big of a git repository this would end up becoming, where you by default download the entire repository. (EDIT: Github allows repositories of up to 1GB in size, see https://help.github.com/articles/what-is-my-disk-quota/)
Furthermore, up until recently I believe Github severely limited the size of binaries you could upload. You understand this puts them at an impossibility.
Also, Sourceforge provides mailing lists, Github does not.
The wiki could be moved from Sourceforge to Github, but I do not know if that is a project they currently feel like undertaking. The current setup uses mediawiki and is easy enough for non-developers to update as well as having the same style as the landing page. If you switch to Github wiki, then the style breaks completely with the rest of the STK site. If you switch to a project page by means of the github pages, then you make things (I believe) significantly more difficult to update for the less technically oriented volunteers.
There are the individual, commercial, and private blocks and hosts files which have been created and which have to be individually cleared. Possibly IP blocks as well. As with "inheriting" a former spammer's domains or IP space for email, that damage is long-lived.
Securing a new or alternate donain would be a good investment.
While there may be some tech and projects worth continuing, the brand is blighted property.