HeeksCAD 是一个 CAD 应用。它可以导入实体模型步骤和 IGES 文件，提请建设 geomtery 及线路和弧线，创造新的原始的固体或固体的挤压草图 或作出坚实放样草图之间。固体可以进行修改，使用混合...

Coq 是一款交互式证明辅助工具，采用OCaml开发。Coq提供一套证明系统，可以编写证明，检查证明。Coq也提供一套形式化语言，可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明（比如操...

Open CASCADE是一套开放原始码的CAD/CAM/CAE几何模型核心，源自于法国的Matra Datavision公司，这一套函式库系统原来是著名的CADCAM软体EUCLID的开发平台，但是在1998年， Matra Datavision改变...

VariCAD 是应用于机器引擎研发的CAD（计算机辅助设计）精密绘图软件，若您想研发特殊的工业产品或帮别人绘制产品3D绘图，那您就千万别错过这套好用的CAD精密绘图软件，它能使你的绘图工作更快速...

Buildes 是个集成开发环境，帮助用户创建建筑信息，它能读取编译出来的文本文件，允许用户浏览，分析和导出编译出来的建筑信息。这个编译系统是用纯 Python 编写的，建筑组件是用 PythonOCC 渲...

Freedomotic 是一个开放的、灵活的、可伸缩的和面向混搭的软件，支持众所周知的标准建筑自动化协议以及与装修设计DIY的解决方案。

Fornjot 是一个用 rust 语言编写的的 CAD 应用程序。Fornjot 是一个早期项目，旨在创建下一代、代码优先的 CAD 应用程序。 Fornjot正在积极开发中，但仍处于试验阶段。目前的工作重点是提供一组...

 DraftSight是免费2D CAD软件，可用于Windows®和Mac®，向专业CAD用户以及学生和教师提供创建、编辑和观看DWG文件更佳途径，是2D CAD的最佳选择！

gmop3d是一款机械手臂（轴旋转运动）或工业机器人的运动仿真软件，他仅仅提供算法，不依赖任何第三方软件包，不依赖G代码，QT, boost, 是一个纯粹的C语言代码程序。六轴机械手臂，第一版的算法...

SuperCx 是面向过程监控与工业自动化的 HMI/SCADA 软件开发平台（俗称组态软件），运行于Windows系统上，可以广泛应用于需要数据采集、对象控制、过程监视与控制等的各种应用中，如：石油、化工...

 LibreCAD 是一款开源免费的 2D CAD 制图软件，原名为 CADuntu 。它是基于社区版本 QCad 构建，并利用 Qt4 进行了重构，原生支持 Mac OSX, Windows 和 Linux 。它提供了基于 GPL 协议的读取/修...

gCAD3D 是个三维的 CAD/CAM 程序，内置一个三维的 OpenGL 的浏览器。包含： 导入和导出程序（Step, Iges, VRML, DXF, SVG ...）。 集成的3D-OpenGL查看器。 三维几何和数控命令的程序解释器。 ...