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

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

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

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

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

GNU LibreDWG 是一个免费开源的 C 库用来处理 DWG 文件，这是 OpenDWG 的免费替换版本。DWG 是 AutoCAD 原生的文件格式。 GNU LibreDWG 基于 LibDWG, 由 Felipe Castro 开发.

Irrlicht Engine 是一个用C++开发的高性能实时的3D引擎，同时提供了.NET版本，这是一个跨平台的使用了D3D、OpenGL的3D渲染引擎。

GLEW是一个跨平台的C++扩展库，基于OpenGL图形接口。使用OpenGL的朋友都知道，window目前只支持OpenGL1.1的涵数，但 OpenGL现在都发展到2.0以上了，要使用这些OpenGL的高级特性，就必须下载最新...

Visualization Library 是一个 C++ 的中间件用来开发基于 OpenGL 2.1 的 2D/3D 应用程序，支持高级特性包括 OpenGL Shading 语言、帧缓冲对象、多目标渲染、Vertex 以及点阵缓冲对象、KdTree/AA...

GLFW是一个OpenGL的应用框架,支持Linux和Windows。GLFW 主要用来处理特定操作系统下的特定任务，例如 OpenGL 窗口管理、分辨率切换、键盘、鼠标以及游戏手柄、定时器输入、线程创建等等。 更多...

Apocalyx是一个基于OpenGL的3D引擎.

OGRE（Object-Oriented Graphics Rendering Engine，面向对象图形渲染引擎）是一个用C++开发的面向场景、非常灵活的3D引擎，它旨在让开发人员更容易、更直接地利用硬件加速的3D图形系统开发应用...