GitHub repository: DrRuhe/enochecker-rs
Primary language: Rust
Description: Minimal Checker-Framework in rust