rust-lang/chalk
View on GitHub ↗ ★ 2,023 Rust
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
18 mentions on Hacker News by 17 people: 2 stories, 16 comments · first 2019-04-01 · latest 2026-01-08
20082026
-
▲ 6
Chalk: A Prolog-ish interpreter written in Ruststory by tosh · 2020-06-17 · 0 comments
-
▲ 3
Prolog-ish interpreter written in Rust, intended eventually for use in compilerstory by lelf · 2019-08-28 · 0 comments