GitHub repository: s-arash/ascent
Primary language: Rust
Description: Logic programming in Rust