OpenLibm是一个旨在提供高质量、可移植、独立的C语言数学库(libm),其质量超过Android源代码中的fdlibm。
MathGLM是清华大学发布的一款数学计算大语言模型,专注于加减乘除、小数和分数的计算,拥有接近100%的成功率,性能优于GPT-4,能够满足用户在各种数学计算上的需求。
Excel Formula GPT是一款免费的AI驱动工具,能够根据用户的描述生成Excel公式。用户可以用简单的语言描述所需的计算,工具将快速生成准确的Excel公式,从而简化工作流程并减少错误。
Bend 是一个将现代高级语言功能编译为 Apple Silicon 或 NVIDIA GPU 上的本机多线程的工具。它支持复杂的构造,如具有完全闭包的 lambdas、无限制递归和分支、folds、ADTs 等。Bend 编译为 HVM2,这是用 Rust 实现的线程安全运行时,旨在提供高效的并行计算能力。
混合自回归线性核(Mixed Auto-Regressive Linear kernel),一个经过高度优化的FP16xINT4矩阵乘法核,用于LLM推理,可以在批量大小为16-32个token的情况下实现接近理想的约4倍加速。
Dinosaur是一个用于全球大气建模的谱动力学核心,采用JAX编写,旨在提供高效的数值计算和强大的可扩展性,适用于气候与天气模型的研究。
Python科学计算必备的包
Mooncake.jl是一个为Julia语言设计的自动微分编译器,旨在提供一种全新的方式来进行数学运算的自动微分,以提高计算效率和准确性。它支持复杂的数学运算,并优化计算过程,以便更好地集成到现有的Julia项目中。
MInference是一种高效的长上下文大型语言模型(LLM)推理加速工具,采用动态稀疏注意力机制和稀疏计算方法,显著加速长序列处理的预填充过程。它能够在保持高准确性的同时,将LLM处理百万上下文的时间提速10倍,适用于A100等硬件平台。MInference可直接应用于现有的LLM,无需预训练或额外微调,已在多个基准模型上验证其性能。