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

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

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

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

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

LeoCAD是一个用于创建虚拟乐高模型的CAD程序。它是可用的或者在GNU公共许可下自由运行在Windows上，Linux上还有Mac OSX操作系统。 它可以用于创建多步骤的构建指令： 您可以同时拥有多个视图：

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

用于工程设计数值模拟（CAE）的计算机辅助设计 CAD 模型并行预处理器（parallel-preprocessor）软件框架，针对科研，航空航天领域的超大规模产品整体模型（一万个零件以上的装备体 assembly）的...

BlocksCAD 是来自 H3XL 公司的一个开源的 CAD 计算机辅助设计软件。BlocksCAD 是基于 Node.js 开发，使用浏览器进行访问。需要本地 HTTP 服务来使用：cd /path/to/mydir-with-index.html-i...

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

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

ImplicitCAD 是一个开源的可编程的 CAD 软件。采用 Haskell 语言开发。 示例代码： /* This creates a twisted extrusion of 5 unioned circles ...