π-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...

Welcome to the Matlab-Editor-Plugin wiki! In short, it will mess around with Matlab's Editor. Edit Code ClipboardStack: opened via CTRL + SHIFT + V, stores the previous 10 str...

muParserX 是一个用 C++ 编写的数学表达式解析器，基于 muParser 引擎，但对其进行扩展支持多种数据类型包括：strings, complex numbers and matrices.

What is doa-tools A set of MATLAB functions for direction-of-arrival (DOA) estimation related applications, including basic array designs, various DOA estimators, and tools to comp...

 LibreCAD 是一款开源免费的 2D CAD 制图软件，原名为 CADuntu 。它是基于社区版本 QCad 构建，并利用 Qt4 进行了重构，原生支持 Mac OSX, Windows 和 Linux 。它提供了基于 GPL 协议的读取/修...

MATL A programming language based on MATLAB/Octave and suitable for code golf. The compiler works in MATLAB R2015b or newer. Probably in older versions too, except for some specifi...

CrossCat 贝叶斯方法分析高维数据表。CrossCat估计整个联合分布表中变量的数据,通过近似推理层次结构、非参数贝叶斯模型, 并提供有效的采样条件分布。CrossCat结合非参数混合模型和贝叶斯网络结...

Math-o-mir 仅仅 382k，是个强大的公式编辑器。截图还不能显示它的强大。在其官方网站还有个更牛的演示，画电路图，旁边标注满了公式。

RepTux 是一个面向汽车配件商店的 ERP 系统，主要目标是实现汽车配件库存和销售的管理。

Hypre是一个高性能的预处理器的功能并行多重网格方法为结构化和非结构化网格问题库。它是一个项目，旨在开发可扩展的算法和软件，为解决大，稀疏线性方程组并行计算机的一部分。