model-checking/kani

Rust Active Added Sep 18, 2026

About

Kani Rust Verifier

3,427

⭐ Stars

175

🍴 Forks

0

📊 Data Points

0

📋 Lists

Star Growth

Trending History

No trending data available yet.

View on GitHub

Similar Repositories

Related by topic and description

TheAlgorithms/Rust

Rust ⭐ 26,048

rust-unofficial/awesome-rust

Rust ⭐ 59,837

AfterShip/email-verifier

grpc/grpc-rust

Rust ⭐ 12,465

matrix-org/matrix-rust-sdk

cross-rs/cross

Quick Info

Language Rust

Last Push Sep 18, 2026

Activity Active

Indexed Sep 18, 2026

2026 © Codebutor