rust-lang / chalkLinks

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
1,928Updated last month

Alternatives and similar repositories for chalk

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

Sorting: