先进计算解决方案

Rust 编写的综合性科学计算与 AI/ML 基础库。兼容 SciPy 的 API，兼具 Rust 的性能、安全性与并发能力。

Rust 原生语义网平台。可替代 Apache Jena/Fuseki，同一数据集同时支持 SPARQL 1.2 与 GraphQL。

纯 Rust 实现的高性能 SMT 求解器。以约 25% 的代码量重新实现 Z3，功能对等度达 90% 以上。无 C/C++ 依赖。

受 NumPy 启发的高性能数值计算库。以符合直觉的 API 为 Rust 科学计算奠定基础。

逻辑到张量的编译器，将逻辑规则转换为张量方程，服务于神经符号 AI。在符号推理与神经网络之间架起桥梁。

具备类型安全线路设计的量子计算框架。支持 30 量子比特以上的模拟，并提供 SIMD 与 GPU 加速。

纯 Rust 神经语音合成框架。基于 VITS、HiFi-GAN 与 DiffWave 声码器的高性能文本转语音（TTS）。

纯 Rust 地理空间数据抽象库（GDAL 的替代方案），前身为 OxiGDAL。无需 C 依赖即可读写栅格与矢量格式。

生产级纯 Rust BLAS/LAPACK 实现。可直接替换 Fortran BLAS，性能具备竞争力。

完全由 Rust 编写、兼容 PyTorch 的深度学习框架。张量运算支持分片，适用于分布式训练。

自主可控的媒体框架——以纯 Rust 重建 FFmpeg 与 OpenCV，并统一为一个内聚框架。无专利负担、内存安全的多媒体处理。

用 Rust 重新实现的 scikit-learn。将 scikit-learn 直观的 API 与 Rust 的性能和内存安全结合起来。

法律条文解析与模拟框架。在保留司法裁量边界的前提下，将法律文书转换为机器可验证的代码。

FFTW3 的 99% Rust 移植版。高性能快速傅里叶变换库，性能接近原生 FFTW3。

面向 AI/HPC 工作负载的超轻量 S3 网关。开销极小的 S3 兼容对象存储代理。

带 SMT 逻辑验证的四层 RAG 引擎。融合向量检索、推测式草稿、逻辑验证与知识图谱。

面向机器学习的综合优化库。提供基于梯度、进化以及带约束的优化算法。

受 pandas 启发的 DataFrame 库。以 Rust 的性能与类型安全提供符合直觉的数据处理与分析。

Inter-Planet File RUST System。采用内容寻址架构的去中心化文件存储与检索。

面向连续信号流的 Rust 原生 AGSP。自适应广义信号处理框架。

磁性材料与拓扑材料中的自旋动力学模拟。支持微磁学与原子尺度自旋模拟。

极简二进制编解码器。开销极小的紧凑二进制序列化。

Hugging Face Transformers 的高性能 Rust 实现。支持 49 种以上架构，BERT 推理速度提升 1.35 倍。

内存安全、高性能的交互式定理证明器（ITP），原生融入 Rust 生态。受 Lean 4 启发，把形式化验证带入 Rust。

The Oxidized Archiver——纯 Rust 实现的归档与压缩格式库，核心算法均从零编写。

基于 AST 的分析工具，可将超过 1000 行的大型 Rust 源文件自动重构为结构清晰、可编译的模块。

以 Rust 构建的图式 LLM 工作流编排平台。用 DAG 以类型安全、模块化的方式组合复杂 AI 应用。

生产级 Rust 原生张量栈，支持广义收缩、稀疏与低秩混合执行，以及核外处理。

兼容 MeCab 词典（IPADIC 格式）的纯 Rust 形态素分析器。用于日语文本的分词与分析。

纯 Rust 参数化人体生成器，可通过 WebAssembly/WebGPU 完全在客户端运行，也可原生运行。可合成细节丰富的 3D 人体网格。

面向 Rust 的生产级 Celery 兼容分布式任务队列库。与 Python Celery 在二进制层面协议兼容。

纯 Rust 实现的 TensorFlow。功能完整的机器学习框架，兼具 Rust 的安全性与性能。

面向 PrismML Bonsai 模型的纯 Rust 亚 2 比特 LLM 推理引擎。零 FFI、零 C/C++——无需 llama.cpp、BLAS 或任何 C/Fortran 运行时，即可在 CPU（SIMD）、Apple Silicon（Metal）与 NVIDIA（CUDA）上运行。

以纯 Rust 替换整个 NVIDIA CUDA Toolkit 技术栈——cuBLAS、cuDNN、cuFFT、cuSPARSE、cuSOLVER、cuRAND 等，共 74 个 crate、约 130 万行安全 Rust 代码。构建时无需 CUDA SDK、nvcc 或任何 C/C++ 工具链。

统一的纯 Rust 物理引擎，覆盖 Bullet（刚体）、OpenFOAM（CFD）、LAMMPS（分子动力学）与 CalculiX（有限元）所面向的领域——且无 C 或 Fortran 依赖。

以纯 Rust 重新实现日本数字厅的政府法务 AI 系统「源内（Genai）」——原系统以 44 亿日元预算构建于 Google Cloud——并通过 Legalis-RS 与 OxiZ SMT 求解器提供形式化验证。

EML 算子 eml(x, y) = exp(x) − ln(y) 的纯 Rust 实现，仅用单一算子与常数 1 即可将全部初等函数表示为一致的二叉树。基于 arXiv:2603.21852。

纯 Rust 天文星历引擎。以净室方式读取 JPL DE440/DE441 内核，提供 Swiss Ephemeris 风格的兼容 API，完全依据公开论文与标准构建。

纯 Rust 的 XML 与 RDF 处理基础库。在同一工作区中原生实现 Apache Xerces + Xalan + FOP、Saxon 与 Oxigraph——从字节级 XML 扫描器，到 XSLT 3.0/XQuery，直至完整的 RDF 1.2 技术栈。