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

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

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

本文开发一个的简单的交通仿真系统。论文的第一章对现有的交通仿真系统进行了简单的综述和论述，对部分软件的特点进行了分析。为交通系统的功能设计和体系设计提供基础。论文的第二章首先对元胞...

通用零件（组件）库系统是一个为避免重复工作而开发的开源项目软件，适合研究人员和工程师个人或局域网内团队使用。 支持大部分CAD的插件式使用，支持不同数据存储方式。 支持用户组权限管理。...

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

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

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

MyHDL 将 Python 变成一个硬件描述和验证语言，为硬件工程师提供前所未有的强大功能。

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

XTrackCAD是用于铁路布局模型设计的计算机辅助设计程序。

树软辅助设计工具不仅是一个软件开发平台，而且是一个设计树形软件的CAD。 树型软件工程方法（简称树软法）以崭新的观念丰富和发展了软件工程方法。树软法定义了系统、事件、任务、作业和语句等...