-
strict_types
严格类型：受限的泛化代数数据类型（GADT）
-
higher
函子、应用函子、单子和其他糟糕的想法
-
algar
代数结构、高阶类型和其他范畴论糟糕的想法
-
divisor_networks
离散图论研究人员用离散图 - 具有Grothendieck拓扑的网络
-
caso
交换图范畴论求解器
-
higher-free-macro
基于用户提供的函子创建（天真）自由单子类型的宏。它使用 "higher" 包中的特性和宏。这个宏是 Control.Monad.Free 的一个端口...
-
epsilonz
Rust中的函数式编程
-
ctrs
Rust范畴论实现和笔记
-
higher-cat
函子、应用函子、单子和其他糟糕的想法
-
monad
Rust中的无栈单子
-
higher-derive
为
higher定制的导出器 -
meowth
Rust中函数式编程的抽象。受 Scala 库 cats 启发。
-
epsilonz_algebra
使用 Rust 的抽象代数。(注意：该软件包正在合并到 https://github.com/bjz/algebra)
-
rarrow
Rust 中的范畴论库
-
free
基于宏的 Rust 中自由单子
-
free_macros
基于宏的 Rust 中自由单子
-
monad_macros
Rust中的无栈单子
尝试使用 DuckDuckGo 搜索：搜索.