一个mdBook预处理器,用于自动对定理、引理等进行编号。
An mdBook preprocessor to automatically number theorems, lemmas, etc. (2024-03-23, Rust, 0KB, 下载0次)
具有javascript、C#和其他编程语言绑定的逻辑表达式通用解释器
Universal interpreter of logical expression with bindings for javascript, C# and other programming languages (2024-02-29, Rust, 0KB, 下载0次)
使用Yew执行4功能计算器功能的Rust Web App
Rust Web App using Yew to perform the functions of a 4-function calculator (2022-08-06, Rust, 0KB, 下载0次)
表达式解析器的最简单实现,支持计算和格式化表达式
The simplest implementation of expressions parser which supports evaluation and formatting expressions (2022-11-16, Rust, 0KB, 下载0次)
尝试用Rust编写编程语言,并dogfood我的s-expression解析器
Trying to write a programming language in Rust, and dogfooding my s-expression parser (2017-01-05, Rust, 0KB, 下载0次)
算术表达式的pratt解析器,可以扩展为类c语言实现
pratt parser for arithmetic expressions, may be extended into a c like language implementation (2020-05-07, Rust, 0KB, 下载0次)
目标是成为一个自我托管的媒体管理器和推荐网站
Aiming to be a self-hosted media manager and recommendation site (2024-01-13, Rust, 0KB, 下载0次)
利用体积像素存储复杂几何形状的光线行进器
Ray marcher which utilizes volumetric pixels to store complex geometric shapes (2024-01-01, Rust, 0KB, 下载0次)
新西兰超市价格信息的超市聚合器
A supermarket aggregator for price information at New Zealand supermarkets (2023-12-06, Rust, 0KB, 下载0次)
剑桥A级计算机科学伪代码规范的字节码和VM编译器。
Compiler to bytecode and VM for Cambridge s A-level Computer Science Pseudocode Specification. (2023-11-24, Rust, 0KB, 下载0次)
用于跟踪工作时间的命令行应用程序+一个方便的考勤卡计算器,
command line application to keep track of time spent working + a handy timecard calculator, (2023-09-26, Rust, 0KB, 下载0次)
Bazel CAS服务器实现处于锈蚀状态。专为稳定性和速度打造。,
Bazel CAS server implementation in rust. Built for stability and speed., (2023-09-15, Rust, 0KB, 下载0次)
高性能化学方程解析器和平衡器,
A high-performance chemical equation parser and balancer, (2023-01-16, Rust, 0KB, 下载0次)
Bazel CAS服务器实现处于锈蚀状态。专为稳定性和速度打造。,
Bazel CAS server implementation in rust. Built for stability and speed., (2023-07-29, Rust, 0KB, 下载0次)
支持大整数、浮点、公共分数和复数的数学表达式计算器
Mathematical expression calculator with big integers, floats, common fractions, and complex numbers support (2021-07-14, Rust, 0KB, 下载0次)
用Rust编写的简单命令行计算器程序。
A simple command-line calculator program writen with Rust. (2023-06-24, Rust, 0KB, 下载0次)
一个方便的计算器,基于Rust和WebAssembly。
A handy calculator, based on Rust and WebAssembly. (2022-01-17, Rust, 0KB, 下载0次)
用Rust编写的130多个函数的假数据生成器库
Fake data generator library with 130+ functions written in Rust (2023-06-16, Rust, 69KB, 下载0次)
支持近似向量相似统一的一阶逻辑定理证明器
First-order logic theorem prover supporting unification with approximate vector similarity (2023-03-23, Rust, 3026KB, 下载0次)
基于Lean定理证明器的库实现类型推理检查功能
Library implementing type inference checking functionality based on the Lean theorem prover (2021-08-25, Rust, 47KB, 下载0次)