pythonocc 提供 3D 建模和数据交换功能。它旨在进行 CAD/PDM/PLM 和 BIM 相关开发。 特性 pythonocc 提供以下功能： 从 Python 到几乎所有 OpenC...<
用于工程设计数值模拟（CAE）的计算机辅助设计 CAD 模型并行预处理器（parallel-preprocessor）软件框架，针对科研，航空航天领域的超大规模产品整体模型（一万个零件以上的装备...<
LeoCAD是一个用于创建虚拟乐高模型的CAD程序。它是可用的或者在GNU公共许可下自由运行在Windows上，Linux上还有Mac OSX操作系统。 它可以用于创建多步骤的构建指令： 您可以...<
Coq 是一款交互式证明辅助工具，采用OCaml开发。Coq提供一套证明系统，可以编写证明，检查证明。Coq也提供一套形式化语言，可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明（比...<
BlocksCAD 是来自 H3XL 公司的一个开源的 CAD 计算机辅助设计软件。BlocksCAD 是基于 Node.js 开发，使用浏览器进行访问。 需要本地 HTTP 服务来使用： cd...<
ImplicitCAD 是一个开源的可编程的 CAD 软件。采用 Haskell 语言开发。 示例代码： /* This creates a twisted extrusion of 5 u...<
本文开发一个的简单的交通仿真系统。论文的第一章对现有的交通仿真系统进行了简单的综述和论述，对部分软件的特点进行了分析。为交通系统的功能设计和体系设计提供基础。论文的第二章首先对元胞自动机和智能体...<
gmop3d是一款机械手臂（轴旋转运动）或工业机器人的运动仿真软件，他仅仅提供算法，不依赖任何第三方软件包，不依赖G代码，QT, boost, 是一个纯粹的C语言代码程序。 六轴机械手臂，第一版...<
GNU LibreDWG 是一个免费开源的 C 库用来处理 DWG 文件，这是 OpenDWG 的免费替换版本。DWG 是 AutoCAD 原生的文件格式。 GNU LibreDWG 基于 Li...<
MyHDL 将 Python 变成一个硬件描述和验证语言，为硬件工程师提供前所未有的强大功能。<
