Sign inSign up

rust-lang/chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

RustStars 1977Forks 181Watchers 1977Open issues 44License Other
Details
仓库信息
Ownerrust-lang
Homepagehttps://rust-lang.github.io/chalk/book/
GitHubhttps://github.com/rust-lang/chalk
Last pushed2025-08-29
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--