先進運算解決方案

以 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 技術堆疊。