Lib.rs

› 关键词 #union-find #congruence-closure #congruence #closures #extracted #rustc

统一

  1. ena

    Union-find、 congruence closure 和其他统一代码。基于 rustc 的代码。

    v0.14.3 801K #union-find #unification #closures #congruence #rustc #congruence-closure #extracted

  2. 多态类型

    Hindley-Milner 多态类型系统

    v7.0.1 120 #type #language #unification #inference #typing

  3. unify

    Rust 的基于特质的等价约束

    v0.0.3 #equality #type-level #unification

    4. 尝试使用 DuckDuckGo 搜索。

  4. unifier_set

    用于统一算法的通用统一集（并查集，Union-find）数据结构

    v0.2.0 #disjoint-set #union-find #variables #unification #data-structures

  5. rust-unify

    Rust 中的统一算法实现

    v0.1.0 #algorithum #unification #arxiv #efficent #ar-xiv-cs-0603080

  6. lark-unify

    Lark 编译器的类型统一功能

    v0.1.0 130 #lark #compiler #unification #docs