加载中

LeoCAD - 用于创建虚拟乐高模型的开源 CAD 程序

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

收藏 8
LeoCAD

Coq - 证明辅助工具

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

收藏 2
更新于 2016/12/10

BlocksCAD - 计算机辅助设计软件

BlocksCAD 是来自 H3XL 公司的一个开源的 CAD 计算机辅助设计软件。BlocksCAD 是基于 Node.js 开发,使用浏览器进行访问。 需要本地 HTTP 服务来使用: cd...

收藏 98
更新于 2016/02/11
BlocksCAD

ImplicitCAD - 可编程的 CAD 软件

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

收藏 2

TrafficSim - 交通仿真系统

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

收藏 43
更新于 2015/01/04

gmop3d - 工业机器人的运动仿真软件

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

收藏 25

LibreDWG - DWG 文件开发包

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

收藏 21
更新于 2014/06/17

MyHDL - 硬件描述和验证语言

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

收藏 1

Buildes - 建筑集成开发环境

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

收藏 4
Buildes

Solvespace - 参数化的3D CAD程序

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

收藏 15

Freedomotic - 室内设计软件

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

收藏 82
更新于 2014/03/21

OpenRocket - 模型火箭仿真软件

OpenRocket 是一款开源的模型火箭仿真软件,你可以用 OpenRocket 设计你的模型火箭,然后对其进行模拟飞行,得到其性能参数,以进行性能改进。正如其它开源软件一样,OpenRock...

收藏 16

DraftSight - CAD软件

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

收藏 9

SuperCxHMI - 组态软件开发平台

SuperCx 是面向过程监控与工业自动化的 HMI/SCADA 软件开发平台(俗称组态软件),运行于Windows系统上,可以广泛应用于需要数据采集、对象控制、过程监视与控制等的各种应用中,如...

收藏 133

LinuxCNC - 车床控制系统

LinuxCNC 是一个计算机控制机器的软件系统,例如铣床,车床,等离子切割机,切断机,机器人,hexapods等等。

收藏 23
开源软件作者
奋斗2018
http-tools 作者
阿老表
AOSuite 作者
YanisWang
hostsPlus 作者

MTC-2008 - 树软辅助设计工具

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

收藏 14

HOPSA - 高氧分压溅射自动化

HOPSA,高氧分压溅射自动化,是一个Python项目,基于 Qt4 开发的界面。

收藏 2

Gazebo - 三维多机器人动力学仿真

Gazebo is a 3D multi-robot simulator with dynamics. It is capable of simulating articulated robot...

收藏 21

OpenNURBS - Rhino的3DM文件IO库

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

收藏 4

Phun - 物理模型软件

Phun是一个基于物理规律的工具软件。使用者可以随意而且轻易的创建物体,并给它们之间创建弹簧、链条等联系,重力、摩擦力、弹力、加速度等等,一切都符合物理规律。这个软件的开发目的是为了让物理教学、...

收藏 4

没有更多内容

加载失败,请刷新页面

返回顶部
顶部