Fornjot 是一个用 rust 语言编写的的 CAD 应用程序。Fornjot 是一个早期项目，旨在创建下一代、代码优先的 CAD 应用程序。 Fornjot正在积极开发中，但仍处于试验阶段。目前的工作重点是提供一组...

Spike RISC-V ISA模拟器，它实现了一个或多个RISC-V harts的功能模型。 它以用于庆祝美国横贯大陆铁路完工的金色尖峰命名。 支持如下 RISC-V 特性： RV32I and RV64I base ISAs, v2.1 Zifencei ...

SageMath是一个基于GPL协议的开源数学软件。它使用Python作为通用接口，将现有的许多开源软件包整合在一起，构建一个统一的计算平台。功能：The interactive ShellBasic Algebra and CalculusPl...

Torch7 是一个科学计算框架，支持机器学习算法。易用而且提供高效的算法实现，得益于 LuaJIT 和一个底层的 C 实现。提供:一个强大的 N 维数组提供大量索引、切片和置换的程序通过 LuaJIT 实现神...

bbTracker是一个简单的应用程序能够在支持Java的智能手机上记录GPS追踪日志。它能够追踪某点的移动并为稍后分析提供数据。bbTracker不是一个功能完整的GPS软件，因为它没办法显示地图和寻径。 &...

有限元分析，即使用有限元方法来分析静态或动态的物体或系统。在这种方法中一个物体或系统被分解为由多个相互联结的、简单、独立的点组成的几何模型。在这 种方法中这些独立的点的数量是有限的...

OpenGTS(Open sourced GPS Tracking System)提供一个基础框架用于创建属于你的基于Web的GPS跟踪系统。它当前使用Google Maps来mapping。并能够通过插件增加对各种GPS跟踪设备的支持。

MSIEVE 是 Jason Papadopoulos 创建的数域筛法实现，可以优化大整数的分解。

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

Extended Berkeley Segmentation Benchmark A more comprehensive benchmark can now be found at davidstutz/superpixel-benchmark. Update: MatLab R2017a introduced a function groundTruth...

MPIR 是一个开源的多精度的整数和有理数计算库，基于 GMP 库开发。

QtiPlot软件是可运行于多个平台（windows && Linux）的开源免费的科学绘图软件。 从功能上讲，QtiPlot与windows 下的origin 几乎是一样的，连界面设计也极其相同，因此网上有人称它为 a...