Lib.rs

› 关键字 #compare #graph #game-theory #shader #web-gpu #no-std #cyclic

等效关系

  1. gpuequiv

    一个用于找到所有进程等效关系的算法的 GPU 加速实现

    v1.0.0 #web-gpu #equivalence #game-theory #shader

  2. graph_safe_compare

    能够处理循环、共享和非常深层次图的等效关系谓词

    v0.2.1 #graph #graph-algorithms #cyclic #comparison #equivalence #compare #no-std

  3. equivalence

    用于比较和哈希类型（模等效关系）的特质和派生宏

    v0.1.1 #relation #hash #derive #macro-derive #unsigned-integer

  4. classific

    分类、比较器和等效类实现

    v0.1.4 #comparator #equivalence #classification #equivalence-class

  5. logic-lang

    基于等效图的逻辑结构

    v0.0.2 #graph #equivalence #rewriting #logic #ast

  6. reduce_unsafe

    通过与安全代码的等效检查来减少不安全代码并检测声望性错误

    v0.1.0 #unsafe #reduce #check #bug #safe #equivalence #soundness

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

  7. delegatable_credentials

    用于开发 DAC（可委托匿名凭证）的方案

    v0.8.0 #anonymous-credentials #public-key #signatures #scheme #class #equivalence #zero-knowledge-proofs

  8. equivalence-derive

    #[derive(Equivalence)]

    v0.1.0 #equivalence #derive #hash #relation