rust-lang / chalkLinks

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
1,947Updated 2 months ago

Alternatives and similar repositories for chalk

Users that are interested in chalk are comparing it to the libraries listed below

Sorting: