-
lambda_calculus
纯lambda演算在Safe Rust中的零依赖实现
-
multicalc
Rust科学计算，用于单变量和多变量微积分
-
joker_calculus
Joker微积分在Rust中
-
claire_vector
claire是一个用于向量微积分的Rust库
-
punc
Pun微积分
-
number-diff
基于数字的微积分工作简化尝试
-
raa_tt
证明命题演算的句子
-
brevet
Ei微积分求值器，具有依赖合并和一等环境
-
dexterior
离散外微积分工具包
-
nrfind
基于牛顿-拉夫逊求根方法的浮点数有用数学函数集
-
blc
二进制lambda演算
-
numerilib
数学库
-
rs-lambda
用 Rust 编写的 lambda 演算解释器
-
lambda_calc
一个命令行无类型的 lambda 演算解释器
-
calculi
用于在字符串形式的方程上应用微积分函数
-
vector_calculus
一个易于使用的库，用于所有向量微积分计算
-
sophus_calculus
sophus - 机器人学和计算机视觉的几何学
-
closure_calculus
闭包演算
-
symbolics_calculus
符号计算计算机代数库的微积分模块
-
dynagrad
动态自动微分
-
lucent
基于构造演算的玩具编程语言
-
lambash
一个类似于 POSIX shell 的 λ-演算 shell
-
mathpack
Rust 的一般数学库
-
dexterior-visuals
离散外微分学的工具包 dexterior 的实时可视化
-
dexterior-core
dexterior 的核心 crate，一个离散外微分学工具包
-
oprec
用于分析和转换数学函数的微积分库
-
数值积分
数值逼近算法和特性
-
HorseShoe
语言无穷小微积分库
尝试使用 DuckDuckGo 进行搜索。搜索.