-
nutype
具有保证的新类型
-
tagref
在代码中维护交叉引用
-
slotmapd
orlp/slotmap 分支，其中序列化循环不会改变可观察的行为
-
生成性
唯一不变量生命周期的生成
-
瞬时
使用对非
'static类型的支持重新实现std::any::Any -
eiffel
受 Rust 宏启发的受保护子句语言
-
cboritem
序列化 CBOR 项的类型
-
http_uri
表示 http uri 及其不变量的类型
-
contracts
基于合同的属性
-
checked-float
创建执行不变量强制浮点包装器
-
array-section
一个数组，其中只能查看或操作其（连续）子数组
-
cygv
计算 CY 流形的不变性质 GV 和 GW
-
prae
旨在提供一种更好的方式来定义需要验证的类型
-
typemap-ors
许多值类型的类型安全存储
-
genz
通过不变性生命周期实现类型的唯一性
-
rep
一个小工具，用于表示/类的不可变性
-
invariants
基于正常和不可变性的开发断言
-
adhesion
Rust 中的接触设计宏集。该库的设计灵感来自 D 语言的合同编程功能。
-
eiffel-macros
Eiffel 是一个受 Rust 守护子句宏启发的 Eiffel 语言库。这是库的宏规则部分。
-
validity
在编译时强制执行任意属性的类型安全包装器
-
lazy_list
惰性填充的列表，有限或无限
-
tightness
定义受任意不变性和条件约束的类型
-
phantasm
小型库，用于处理方差
-
nutype_macros
具有保证的新类型
-
swc-plugin-dev-expression
babel-plugin-dev-expression的SWC端口，展开__DEV__并包装不变性和警告调用
-
unsafe-storage
在无模块的情况下在宏中维护不变性
-
noteref
在您的代码库中添加注释并维护它们
-
peekable_reader
提供围绕Readers的实用包装器，允许客户端预览即将到来的字节，而不消耗它
-
digit-invariant
自恋数搜索器
-
trait-theories-std
Rust std traits的不变量集合
-
functor
协变、逆变、不变和双变函子
-
clink
在运行时维护类型级不变性
-
static-ref
指向
static数据的引用 -
invariant
创建强制执行不变性的包装类型
-
stable-swap-math
StableSwap不变量的计算
-
nanbox
NaN装箱实现
-
eiffel-macros-gen
伊芙尔（Eiffel）是一个受Rust宏启发的伊芙尔语言守卫子句库。这是库的进程宏部分。
-
xyk
用于Sencha的常量产品AMM计算器
-
otter-solana-verify
奥特赛克（OtterSec）的索拉纳形式验证宏
-
disabled_contracts
contracts存储库的清晰占位符版本 -
meteora-stable-swap-math
StableSwap不变量的计算
-
rep_derive
一个小工具，用于表示/类的不可变性
尝试使用DuckDuckGo进行搜索。