GitHub repository: nikomatsakis/chalk
Primary language: Rust
Created: 2015-07-26T10:13:23Z
Description: A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler