GitHub repository: ComplementLang/Complement
Primary language: Rust
Description: Complement: A constraint-based programming language focusing around set theory and formal logic