Do you develop on GitHub? You can keep using GitHub but automatically sync your GitHub releases to SourceForge quickly and easily with this tool so your projects have a backup location, and get your project in front of SourceForge's nearly 20 million monthly users. It takes less than a minute. Get new users downloading your project releases today!
We use mnogosearch to index about 700GB:
search results are on our intranet, but mnogosearch can return an XML I belive, to integrating into some king of web-service should be easy.
PS: access restrictions are a little problem though. We now have to implement our own search on mnogosearch which checks permissions first.