BIM碰撞软件有以下几种：
Autodesk Navisworks：
这是一款常用的BIM模型碰撞检查软件，支持结构、机电专业模型的碰撞检测，并能显示碰撞点的位置并生成碰撞报告。它适用于建筑工程中的碰撞检查功能，包括手动检查、自动检查、相对位置检查、关系检查、自动排序等。
Bentley Projectwise Navigator：
提供3D设计和工程模型设计检视、碰撞检查以及施工安装模拟的应用软件。它支持协同工作，可以在不修改原始设计模型的基础上添加注释和标注信息，帮助项目建设者在建造之前发现施工过程中的问题，降低施工成本，优化施工进度。
Solibri Model Checker：
这是一款具有先进功能的BIM模型碰撞检查软件，可以对构筑物模型进行全面而准确的碰撞检查，识别构筑物模型中出现的碰撞，并具有强大的定制功能，可以根据实际情况设计和调整自动碰撞检查规则。
Tekla BIMSight：
这是一款现代化的BIM模型碰撞检查软件，可以对建筑模型进行快速精确的碰撞检查，并标记出碰撞部件，以形象的方式展示出检查结果，有助于建筑人员快速而准确地介入设计过程中，快速纠正错误，达到优化设计的效果。
Revit：
作为Autodesk的一系列程序之一，Revit提供了强大的BIM建模功能，并具备碰撞检查功能。它可以根据自动生成的冲突报告，通过“显示”功能准确地查找到碰撞点，并直接在模型内进行修改。
DeepSeek：
这是一款自动识别管线、结构、设备之间碰撞点的软件，还能按严重程度分类。它能够一键搞定碰撞检测，提高效率。
这些软件各有特点，可以根据项目需求、团队熟悉度以及硬件配置来选择合适的工具进行BIM碰撞检查。