{"adoption": {"forks": 183, "observed_at": "2026-08-28T04:06:04.916342+00:00", "stars": 2010}, "canonical_url": "https://ross.abutalabs.com/products/rust-lang-chalk", "card": {"archived": false, "artifact_type": "library", "description": "An implementation and definition of the Rust trait system using a PROLOG-like logic solver", "domain": ["programming-languages", "compilers"], "enriched": true, "function": ["interpreter", "type-system", "compiler", "parser"], "health_score": 60, "homepage": "https://rust-lang.github.io/chalk/book/", "language": "Rust", "license": "NOASSERTION", "license_family": "other", "maturity": "maintenance", "member_repos": ["rust-lang/chalk"], "name": "rust-lang/chalk", "platform": ["rust", "cross-platform"], "pushed_at": "2026-02-08T16:41:24+00:00", "repo": "rust-lang/chalk", "stars": 2010, "tags": ["trait-system", "logic-programming", "prolog", "rust-compiler", "type-inference", "sunset-project", "algorithms"], "topics": [], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/rust-lang-chalk", "repo": "rust-lang/chalk", "role": "main", "score": 52}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:06:04.916342+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:01:14.954591+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "e384ccf36da3142e129c735384f970b767de44fd1f9649f180cf5c33358305ee", "fetched_at": "2026-08-28T04:06:04.916342+00:00", "kind": "readme", "missing": false, "url": "https://github.com/rust-lang/chalk"}, {"content_hash": "f7baaf6b92fc5ed1c7229aa9b7be954f9984a7f2cd028e6f1dcb08cab1efd4fd", "fetched_at": "2026-08-29T10:41:03.771212+00:00", "kind": "homepage", "missing": false, "url": "https://rust-lang.github.io/chalk/book/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 66, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4056, "days_push": 206, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 52, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}