GitHub repository: kritzcreek/hop
Primary language: Rust
Description: Tooling for working with SCIP