GitHub repository: wenfengwang/rustle
Primary language: Rust
Description: A static analyzer for NEAR smart contract in Rust