Java 的代数系统（的JAS ）是一个面向对象，类型安全的，多线程的方法，计算机代数。JAS 提供了一个精心设计的软件库，使用通用类型的代数运算执行 Java 编程语言。该类库可以用作任何其他 Java...

TermGL 是一个用于 2D 和 3D 图形的基于终端的图形库，用 C 编写，为支持 ANSI 转义码的终端创建。 构建 仅使用 C 标准库，便于编译。 要编译测试程序，请运行 test/Makefile make test &n...

fourd.js 是一个用在浏览器上的动态图形可视化库。稍微调整一下，你就可以用它做出一些几何图形集合，此库已经在 Chrome、Firefox、IE11 上测试运行，有传言说，通过切换 CanvasRenderer，此库...

Ceres Solver 是一个可移植的 C++ 库，可用来建模并解决大型复杂的非线性最小二乘问题。它的显著特性如下： • A simple, expressive API | 简单易读的 API • Automatic differen...

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

Gmsh是一个自动的三维有限元网格生成带有内置在CAD和后期处理器。其设计的目标是要提供一个简单的啮合工具学术问题与参数的投入和先进的可视化能力。 gmsh是围绕四个单元：几何，网格，求解和后...

Quartus II 是Altera公司的综合性PLD开发软件，支持原理图、VHDL、VerilogHDL以及AHDL（Altera Hardware Description Language）等多种设计输入形式，内嵌自有的综合器以及仿真器，可以完成从设...

分析和可视化各种旅行，并使用GPS设备，自行车，运动或测功机计算机记录下来。一些亮点：工具可用于调整记录的数据，GPS巡视可以在可自定义的地图中可视化。 Data Import All Graphs  &nbs...

OpenCPN 是一个简洁的海图导航软件，支持: * GPS/GPDS 定位信息输入* BSB 栅格图表显示* S57 Vector ENChart Display * AIS 输入解码* Waypoint Autopilot Navigation

Fimex 是栅格地理空间数据的文件插值、操作和抽取的开发库。可在不同的扩展数据格式中转换，目前支持 netcdf, NcML, grib1/2, metgm, wdb 和 felt。它使你改变的预测和标量和矢量网格插值。它使...

ILGeoNames 是 GeoNames 服务的 Objective-C 的开发包。

riscv-gnu-toolchain 是一个用来支持 RISC-V 为后端的C和C++交叉编译工具链, 包含通用的ELF/Newlib和更复杂的Linux-ELF/glibc两种工具链. 获取源码： $ git clone --recursive https://github.c...