GitHub repository: math284i/slang-verifier-better
Primary language: Rust
Description: This verifies slang better