rust-lang/chalk

chalk

✅ Recently maintained

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

2,023Stars
184Forks
+17-day stars

Rust · License unverified · Last push 2026-10-12

Official repository & installation ↗

Star history

2025-09-292026-11-02
View historical data
DateStars
2026-10-042,017
2026-10-052,017
2026-10-062,017
2026-10-072,017
2026-10-082,017
2026-10-092,017
2026-10-102,018
2026-10-112,018
2026-10-122,018
2026-10-132,019
2026-10-142,019
2026-10-152,020
2026-10-162,020
2026-10-172,020
2026-10-182,020
2026-10-192,020
2026-10-202,020
2026-10-212,020
2026-10-222,020
2026-10-232,020
2026-10-242,022
2026-10-252,022
2026-10-262,022
2026-10-272,022
2026-10-282,023
2026-10-292,023
2026-10-302,023
2026-10-312,023
2026-11-012,023
2026-11-022,023

Get the project

git clone https://github.com/rust-lang/chalk.git

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

public-apis

A community-maintained list of free APIs organized by category for developers.

★ 494,953freeCodeCamp

Open-source curriculum and codebase for learning math, programming, and computer science for free.

★ 458,392system-design-primer

A guide to designing large-scale systems, with Anki flashcards for system design interview prep.

★ 376,475