GitHub repository: offworld-org/polylogic-kit
Primary language: Rust
Description: A highly extensible toolkit that brings together diverse logical models.