Gazebo是一个三维多机器人动力学仿真。它能够模拟复杂和现实的环境中关节型机器人。 Gazebo 为仿真带来了一种全新的方法，它具有完整的开发库和云服务工具箱，使仿真变得容易。在具有高保真传感...

Netgen 是一个的二/三维四面体网格生成器，接受基于构造实体几何法 (CSG) 或边界表示法 (BRep) 的 STL 文件格式的实体模型输入，它与几何内核连接，能够处理 IGES 和 STEP 文件。 Netgen&n...

SharpMap是一个基于.net 2.0使用C#开发的Map渲染类库，可以渲染ESRI Shape、PostGIS、MS SQL等格式的GIS数据，通过扩展地图数据Provider，还可以支持其他格式，例如由其他作者开发的 Oracle Spa...

波兰形态分析仪和Java库接口。第一次完全开源和综合形态的工具和有限状态的波兰和其他语言技术。

GMTMex - GMT API for MATLAB Extended Docs https://github.com/GenericMappingTools/gmtmex/wiki Introduction The GMT MATLAB interface makes it possible to access all GMT modules from ...

OpenTimer 是一个为超大规模集成系统开发的高性能时序分析工具。 OpenTimer 是一个全新的 静态时序分析 (STA) 工具，用来帮助 IC 集成电脑设计师快速的验证电路的时序。OpenTimer 完...

GiNaC（GiNaC 不是一个 CAS 计算机代数系统））是一个用于符号计算的C++库。它的设计允许集成系统创造，象征性的操作嵌入与更成熟的计算机科学（如计算密集型，图形界面等），数字应用领域。相...

LabPlot 是一个免费的数学分析和2D/3D画图软件。支持多种图形输出格式。可运行于各种32位和64位Linux计算机上,类似Origin.基于KDE的.

这是华为图形计算服务 （HUAWEI Computer Graphics Kit）的示例代码，本工程共包含6个Demo： CG渲染框架: 基础模型加载和渲染的使用示例，实现了左右滑动模型旋转，上下滑动缩放模型的功能；插...

π-Base 是拓扑示例社区数据库，提供自动演绎和强大搜索功能。语法：使用 ~ 进行否定， {和: [...]} 或者 {or: [...]}嵌套。你可以通过以下这些字符开启不同的搜索模式：: - 名字间隔? - 不确定...

使用 Go 实现的数学表达式解析计算引擎库，无任何依赖，相对比较完整的完成了数学表达式解析执行，包括词法分析、语法分析、构建AST、运行。 能够处理的表达式样例： 1+127-21+(3-4)*6/2.5 (88+...

GLOBE_3D 是一个实时的3D引擎，具有可移植的特点，支持多数平台，采用 Ada 语言开发。 real-time rendering (fast with a 3D hardware-accelerated graphics card), full eye movements and rot...