GitHub repository: runtimeverification/stable-mir-json
Primary language: Rust
Description: KMIR Rust Library