linea

A Julia Basket of Hand-Picked Krylov Methods

面向嵌入式优化的基础线性代数子程序

用于开发人工智能和高性能科学计算的V语言库

支持自动微分的高性能非线性求解器（牛顿法）与区间求根法（二分法、试位法），具备稀疏矩阵与牛顿-克雷洛夫法支持

LinearSolve.jl：Julia线性求解器高性能统一接口，可在因子分解法与Krylov方法间自由切换，支持预条件器集成

支持GPU的非线性规划求解器

稀疏与结构化张量编译器

通过同伦延拓求解多项式系统的Julia包

Julia线性算子库

V 张量库

一个用于Julia的开源模型预测控制软件包。

Linea零知识以太坊虚拟机底层约束系统的规范。