GitHub repository: timKraeuter/rust_bpmn_analyzer
Primary language: Rust
Description: A BPMN-specific model checker written in Rust.