crates.io "unification" keyword
View the packages on the crates.io package registry that are tagged with the "unification" keyword.
stof 0.7.13 💰
A simple and embeddable data runtime.101 versions - Latest release: about 1 month ago - 53.1 thousand downloads total - 51 stars on GitHub - 1 maintainer
Top 4.2% on crates.io
26 versions - Latest release: about 1 year ago - 21 dependent packages - 2,157 dependent repositories - 31.9 million downloads total - 161 stars on GitHub - 1 maintainer
ena 0.14.3
Union-find, congruence closure, and other unification code. Based on code from rustc.26 versions - Latest release: about 1 year ago - 21 dependent packages - 2,157 dependent repositories - 31.9 million downloads total - 161 stars on GitHub - 1 maintainer
unifier_set 0.2.0
A generic unifier set (disjoint set, union-find) datastructure for use in unification algorithms.1 version - Latest release: over 1 year ago - 1.37 thousand downloads total - 0 stars on GitHub - 1 maintainer
option-cell 0.1.0
OptionCell: OnceCell but derivable from Option1 version - Latest release: almost 2 years ago - 23.8 thousand downloads total - 4 stars on GitHub - 1 maintainer
unify 0.0.3
Trait-based equality constraint for Rust4 versions - Latest release: over 10 years ago - 1 dependent package - 7.11 thousand downloads total - 2 maintainers
polytype 7.0.1
A Hindley-Milner polymorphic typing system.34 versions - Latest release: over 1 year ago - 1 dependent package - 7 dependent repositories - 65.9 thousand downloads total - 58 stars on GitHub - 2 maintainers
Related Keywords