# model-checking/kani

<https://repo.masters-masters.com/en/repos/model-checking/kani>

[Home](https://repo.masters-masters.com/en) › [model-checking](https://repo.masters-masters.com/en/owners/model-checking) › [kani](https://repo.masters-masters.com/en/repos/model-checking/kani)

model-checking/kani has 3,627 stars on GitHub. Its RepoMasters card: RC tier. A model checker for Rust programs. Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [model-checking](https://repo.masters-masters.com/en/owners/model-checking) |
| Stars | 3,627 |
| Forks | 194 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2021 |
| Topics | rust, model-checking, verification |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [model-checking/kani](https://github.com/model-checking/kani) |

## Repository

A model checker for Rust programs.

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## Nearby in Rust

- [oxidecomputer/hubris · ★ 3,645 · Rust · RC](https://repo.masters-masters.com/en/repos/oxidecomputer/hubris)
- [therealaleph/MasterHttpRelayVPN-RUST · ★ 3,641 · Rust · RC](https://repo.masters-masters.com/en/repos/therealaleph/MasterHttpRelayVPN-RUST)
- [Myriad-Dreamin/tinymist · ★ 3,627 · Rust · RC](https://repo.masters-masters.com/en/repos/Myriad-Dreamin/tinymist)
- [rust-unofficial/too-many-lists · ★ 3,619 · Rust · RC](https://repo.masters-masters.com/en/repos/rust-unofficial/too-many-lists)
- [aws/aws-lambda-rust-runtime · ★ 3,618 · Rust · RC](https://repo.masters-masters.com/en/repos/aws/aws-lambda-rust-runtime)
- [glium/glium · ★ 3,617 · Rust · RC](https://repo.masters-masters.com/en/repos/glium/glium)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.