用于简单计算的cli表达式计算器
cli expression evaluator for simple calculations (2024-04-04, Rust, 0KB, 下载0次)
数学表达式计算器
A math expression evaluator (2022-04-20, Rust, 0KB, 下载0次)
Rust的高性能代数表达式计算器
High-performance algebraic expression evaluator for Rust (2023-03-04, Rust, 0KB, 下载0次)
具有上下文的表达式计算器
Expression evaluator with context (2024-01-17, Rust, 0KB, 下载0次)
Rust的线性系统方程解算器。
A linear system equation solver for Rust. (2024-02-14, Rust, 0KB, 下载0次)
锈迹中的一个简单数学表达式计算器，使用调车场直接生成AST，类似于旧的计算器。
A simple math expression evaluator in rust that uses shunting yard to directly generate an AST, akin to old calculators. (2024-02-10, Rust, 0KB, 下载0次)
用Rust构造的关系代数计算器
A Relational Algebra calculator built with Rust (2024-01-16, Rust, 0KB, 下载0次)
Rust中的简单数学表达式计算器
Simple mathematical expression evaluator in Rust (2023-12-28, Rust, 0KB, 下载0次)
项目缓存生成清理器（&B）
Project cache & build cleaner (2023-12-08, Rust, 0KB, 下载0次)
Momento无服务器缓存的官方Rust SDK，
Official Rust SDK for Momento Serverless Cache, (2023-09-19, Rust, 0KB, 下载0次)
定理证明器kt.的Rust重写。，
Rust rewrite of theorem-prover-kt., (2023-09-12, Rust, 0KB, 下载0次)
Pure Rust命令行二次方程解算器，
Pure-Rust command line quadratic equation solver, (2023-09-07, Rust, 0KB, 下载0次)
基于终端的、单元感知的RPN计算器，
A terminal-based, units-aware, RPN calculator, (2023-08-22, Rust, 0KB, 下载0次)
解释方程式的手写科学计算器。
A handwritten scientific calculator for interpreting equations. (2021-10-07, Rust, 0KB, 下载0次)
十六进制爱好者的命令行计算器。
A command-line calculator for hex-lovers. (2022-11-14, Rust, 0KB, 下载0次)
任意精度单位感知计算器
Arbitrary-precision unit-aware calculator (2023-06-21, Rust, 0KB, 下载0次)
计算器REPL，类似于bc（1）
a calculator REPL, similar to bc(1) (2023-02-13, Rust, 0KB, 下载0次)
基于CoIC的交互式定理证明器
Interactive theorem prover based on CoIC (2022-09-28, Rust, 6KB, 下载0次)
一阶逻辑的自动定理证明器。
An automated theorem prover for first order logic. (2017-03-23, Rust, 163KB, 下载0次)
Lean定理证明器的类型检验
A type checker for the Lean theorem prover (2021-03-06, Rust, 58KB, 下载0次)