rust-lang/chalk

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

2010 stars · 183 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Chalk is a Rust library that implements the Rust trait system using a Prolog-like logic solver, converting trait and impl information into logical inference rules to answer queries such as whether a type implements a trait. It was intended for integration into rustc but has been sunset in favor of the newer next-generation trait solver.

Use cases

• answer trait queries like does Vec<u8> implement Debug
• implement a Rust-like type checker or linter
• study how Rust traits lower to logic
• experiment with logic programming for type systems
• build tooling that resolves trait obligations

When to choose

• you need a standalone, embeddable trait solver for Rust-like languages
• you want to learn or research trait system design and lowering to logic
• you are building experimental type-checking tools

When to avoid

• you need a trait solver for production rustc work - use the new next-generation trait solver instead
• you expect active development - the project has been sunset
• you need a general-purpose Prolog engine

Facets

library · maturity maintenance

interpreter type-system compiler parser programming-languages compilers rust cross-platform trait-system logic-programming prolog rust-compiler type-inference sunset-project algorithms

Member repositories

For agents

markdown · JSON · MCP: product_card(name="rust-lang/chalk")