Lib.rs

› 关键字 #compare #type #approximate #float #datalog #assert #theory #e-graphs

##等价性

  1. approx

    近似浮点数等价比较和断言

    v0.5.1 1.2M #comparison #equality #approximate #float #assert

  2. float_eq

    比较IEEE浮点数原语、结构和集合的等价性

    v1.0.1 81K #comparison #compare #equality #float #assert #approximate

  3. egg

    egraphs

    v0.9.5 60K #e-graphs #e-graph #egraphs #equality #saturation #execution #add

  4. eqlog

    带有等价的Datalog

    v0.7.0 #datalog #equality #rule #relation #symbols #theory #closures

  5. egglog

    结合等价饱和和Datalog优势的语言。它可以用于程序的分析、优化和综合。它是流行的Rust库egg的后继产品。

    v0.2.0 #datalog #equality #compiler #e-graphs

  6. num-order

    为各种num类型（如u32、f64、num_bigint::BigInt等）实现数值一致的Eq、Ord和Hash。

    v1.2.0 1.9K #hash #order #comparison #equality #num-bigint #numeric #hash-values

  7. dleq

    单曲线和跨曲线离散对数等价证明

    v0.4.1 270 #discrete #log #proofs #equality #curve #cross-curve #group

  8. numtest

    数值方法的单元测试

    v0.1.3 200 #unit-testing #numerical #numerical-methods #applications #equality

  9. eqlog-eqlog

    带有等价的Datalog

    v0.7.0 #datalog #le #el #equality #eqlog #theory #rule

  10. cisness

    两种类型相同时的运行时'live witness'。

    v1.1.0 370 #type #witness #type-id #equality #dispatch #types #no-alloc

  11. aprox_eq

    确定浮点类型之间的近似相等性，并将此功能扩展到由浮点数和其他实现 AproxEq 的结构体

    v2.0.1 #floating-point #equality #numbers #determine #float #tolerance #error

  12. refl

    refl 编码，您可以使用它来提供一种证明，证明一种类型与另一种类型等价（相同）。您可以使用它来编码 Haskell 中的 GADTs 允许您编码的一个子集

    v0.2.1 1.0K #equality #type-level #propositional

  13. eqlog-runtime

    带有等价的Datalog

    v0.7.0 #eqlog #datalog #theory #equality #binary #language #semilattice

  14. bayou_interner

    字符串互斥器

    v0.1.0 #interning #string-interning #check #id #table #hash-table #equality

  15. dyn_ord

    特质对象的相等性和排序

    v0.2.1 1.9K #trait-object #comparison #order #equality #compare #dynamic-typing

  16. pointer-identity

    将类型的指针地址视为标识符而不是值的包装类型

    v0.1.1 #pointers #identity #values #equality #value #address

  17. kg-symbol

    Rust 中的原子字符串

    v0.2.0 #string #symbol #string-interning #atomic #reference #pointers #equality

  18. type-equalities

    使用零大小证明观察类型相等性

    v0.3.1 170 #equality #proofs #coerce #coercions #zero-sized #types #safe

    19. 尝试使用 DuckDuckGo 搜索。

  19. spidermeme

    用于测试类型相等和类型不等性的特质

    v0.1.0 #equality #type #meta-programming #type-level #inequality #metaprogramming

  20. is-same

    用于比较对象相等性的特质

    v0.2.1 #equality #object #referential #same

  21. fixnum-approx-eq

    固定点精度数字的近似相等性检查和断言

    v0.1.0 #fixed-point #check #equality #approximate #precision #assert #numbers

  22. refid

    支持身份比较的新类型（例如，通过指针相等）

    v0.2.1 #pointers #identity #comparison #equality #rc #partial-eq #done

  23. hashable_rc

    引用计数的可哈希包装器

    v0.2.1 #weak-references #reference #rc #weak #hash #equality

  24. approxeq

    用于类型近似相等的特质

    v0.1.1 #equality #joke #equals #approximate #approximately #book #type

  25. is_type

    类型的相等约束

    v0.2.1 150 #constraints #equality #type

  26. compile_type_eq

    编译时类型相等检查

    v0.1.1 #compile #compile-time #equality #checking #eq

  27. is_42

    快速检查变量是否等于42的方法

    v0.1.2 #numbers #equality #42 #number

  28. unify

    Rust的基于特质的相等约束特质

    v0.0.3 #equality #type-level #unification

  29. hashed

    可以将任何可哈希类型转换为的类型，并且仍然可以进行相等检查

    v0.2.1 #equality #hash #comparison #wrapper

  30. should-be

    后缀相等断言

    v0.1.0 #assertions #postfix #equality #traits #import #panics #passes

  31. type-equals

    rust-lang/rust#20041的相等特质

    v0.1.0 #owner #equality #traits #equals #child #20041

  32. eq-type

    允许在两个类型上声明相等约束并在它们之间进行强制转换

    v0.1.0 #bounds #equality #type #coercing

  33. multi-eq

    用于创建自定义相等特质派生的宏

    v0.1.1 #traits #equality #macro-derive #derive #eq #macro

  34. equalia

    自动为你的结构体实现 PartialEq

    v1.0.0 #equality #equals #eq #equal

  35. type_eq

    用于类型约束和推理的小型工具

    v0.1.2 #inference #equality #type

  36. identity

    一个稳定的Rust实现的身份（即“相等见证”）类型

    v0.0.6 #type-level #type #equality #types

  37. 相同

    测试对象身份的特质

    v0.1.0 #reference #identity #equality #comparison #compare

  38. aprox_derive

    确定浮点类型之间的近似相等性，并将此功能推导到由浮点数组成的结构中

    v0.3.2 #floating-point #determine #equality #numbers #aprox-eq #struct #aproximate

  39. varianteq

    推导枚举变体的相等性，忽略字段

    v0.5.0 #enums #equality #macro-derive #derive #macro #enum #partialeq

  40. struct_macro_eq

    为结构体实现 Eq，但可以使用 ignore_regex 属性排除相等性检查的字段

    v0.1.0 #equality #struct #macro