GitHub repository: rust-lang/ena
Primary language: Rust
Description: An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.