chalk
rust-lang/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
1,992stars
Forks
183
Open issues
44
Watchers
1,992
Size
14.3 MB
RustOther
Created: Jul 26, 2015
Updated: Apr 14, 2026
Last push: Feb 8, 2026