GitHub repository: winston-h-zhang/ascent
Primary language: Rust
Description: logic programming in Rust