rust-lang/chalk

chalk

✅ 近期有维护

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

2,023Stars
184Forks
+1近 7 天 Star

Rust · 许可证待核验 · 最近推送 2026-10-12

官方仓库与安装文档 ↗

GitValue · 价值证据

待补证 · 证据覆盖 0%

试跑评分;文档声明与实测分开。未收集证据不代表项目没有价值。

Star 历史

2025-09-292026-11-02
查看历史数据
日期Stars
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

获取项目

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

相关项目与平替候选

同领域不等于功能完全相同,选型前请核对官方文档和许可证。