awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Kani | Awesome Repository

model-checkingkani

0

View on GitHub↗

2,943 stars·142 forks·Rust·apache-2.0·0 viewsmodel-checking.github.io/kani↗

Kani

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI