SOLVESPACE是一个参数化的3D CAD程序，功能包括： 3D零件建模 — 使用拉伸、扫略以及布尔（合集/差集）运算绘制。 2D零件建模 — 绘制零件的截面图，输出为DXF，PDF，SVG；并在3D组建...

openNURBS 提供 CAD，CAM，CAE，计算机图形软件开发工具，以准确的3 - D应用程序之间的几何转移。

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

AnyCAD 是一个基于 OpenCASCADE 的CAD平台。

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

Radiance 是一种工具，提供了先进的照明仿真软件包集。它可以非常详细的定义材料\'和\'光源特性，通过像BRDF的IES文件和先进技术的使用，以及一个强大的数学脚本语言，在其中通常从CAD和3D建模...

pythonocc 提供 3D 建模和数据交换功能。它旨在进行 CAD/PDM/PLM 和 BIM 相关开发。 特性 pythonocc 提供以下功能： 从 Python 到几乎所有 OpenCascade C++ 类的完全访问。类和方法/函数共享相...

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

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

JMCAD是一个理想的个人使用的编程工具，设计了一个自定义的用户界面，使用各种PCI总线和基于USB的数据采集硬件。您可以使用JMCAD创造一个功能齐全的测量与分析的应用和用户界面，定制使用各种PC...

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

BRL-CAD 是一个构造实体几何(CSG) 实体模型计算机辅助设计(CAD) 系统。BRL-CAD 包括一个交互式的几何编辑器，光学跟踪支持图形着色和几何分析，计算机网络分布式帧缓存支持，图像处理和信号处理...