Как называются эти инструменты - Mingle, Subversion, TeamCity, Nexus
Это инструменты разработчика или инструменты служб конфигурации?
Не уверен, являются ли они инструментами разработчика, потому что инструменты разработки могут включать в себя другие приложения для разработчиков, например, IDE (затмение / IntelliJ IDEA)