Lib.rs

› 关键字 #l-group #equations #check #cache #frp #invalidation #formula #free

#validity

  1. renege

    使用快速并发无效性传播跟踪缓存的有效性

    v0.1.2 #cache #validity #frp #invalidation

  2. geo-validity-check

    公开一个 'Valid' 特性，以检查 geo-types 几何的有效性并报告无效的原因

    v0.1.0 #validity #geo-types #geo

  3. validity

    一种类型安全的包装器，用于在编译时强制执行任意属性

    v0.3.1 #compile-time #invariants #properties #validation #valid #enforcing #invalid

  4. china-id

    可以验证中国身份证号码的有效性

    v0.1.2 #numbers #chinese #card #identity #validity #verify

  5. predicatechecker

    检查如果另一个谓词为真，则谓词为真

    v0.5.2 #predicate #true #another #logic #validity

  6. polkadot-statement-table

    存储 Polkadot 中其他权限机构发布的有关候选人的信息。（polkadot v1.15.0）

    v15.0.0 2.6K #candidate #authorities #statement #messages #stores #table #validity

    7. 尝试使用 DuckDuckGo 进行搜索。

  7. l_group_formulas

    解析和编码 l-group（不）等式

    v0.1.0 #formulas #equations #parser #validity #l-group #encoding

  8. serde_newtype

    用于与 serde 一起使用的宏，用于生成具有有效性检查的新类型

    v0.1.1 #newtype #serde #generate #macro #check #validity

  9. openfga_checker

    OpenFGA 模型检查器，包含检查模型有效性的代码

    v0.2.0 #model #checker #check #validity #open-fga

  10. truncated_free_groups

    自由群中半径为 2（微型）或 3（正常）的球体

    v0.1.0 #group #free #tiny #radius #ball #validity #l-group

  11. l_group_cnf

    自由群项的交集与并集

    v0.1.0 #group #free #terms #equations #join #validity #formulas

  12. l_group_validity

    检查 l 组 (不等式) 的有效性

    v0.1.0 #validity #checking #equations #l-group #colacito #metcalfe

  13. 序列密钥

    从种子创建可验证的序列密钥

    v2.0.0 #key #byte #serial #checksum #seed #validity #verifying