GitHub repository: withoutboats/chalk
Primary language: Rust
Description: A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler