# microsoft/verus-proof-synthesis

<https://repo.masters-masters.com/en/repos/microsoft/verus-proof-synthesis>

[Home](https://repo.masters-masters.com/en) › [microsoft](https://repo.masters-masters.com/en/owners/microsoft) › [verus-proof-synthesis](https://repo.masters-masters.com/en/repos/microsoft/verus-proof-synthesis)

microsoft/verus-proof-synthesis has 133 stars on GitHub. Its RepoMasters card: Prototype tier. Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [microsoft](https://repo.masters-masters.com/en/owners/microsoft) |
| Stars | 133 |
| Forks | 26 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2024 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [microsoft/verus-proof-synthesis](https://github.com/microsoft/verus-proof-synthesis) |

## Repository

No description.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by microsoft

- [microsoft/vscode · ★ 194,543 · TypeScript · LTS](https://repo.masters-masters.com/en/repos/microsoft/vscode)
- [microsoft/markitdown · ★ 193,786 · Python · LTS](https://repo.masters-masters.com/en/repos/microsoft/markitdown)
- [microsoft/PowerToys · ★ 140,513 · C · LTS](https://repo.masters-masters.com/en/repos/microsoft/PowerToys)
- [microsoft/generative-ai-for-beginners · ★ 122,938 · Jupyter Notebook · LTS](https://repo.masters-masters.com/en/repos/microsoft/generative-ai-for-beginners)
- [microsoft/TypeScript · ★ 111,732 · Go · LTS](https://repo.masters-masters.com/en/repos/microsoft/TypeScript)
- [microsoft/terminal · ★ 105,321 · C++ · LTS](https://repo.masters-masters.com/en/repos/microsoft/terminal)

## Nearby in Rust

- [CosmicFrontierLabs/unlinked · ★ 133 · Rust · Prototype](https://repo.masters-masters.com/en/repos/CosmicFrontierLabs/unlinked)
- [nailuj05/framemate · ★ 133 · Rust · Prototype](https://repo.masters-masters.com/en/repos/nailuj05/framemate)
- [Fazmin/cve-intel · ★ 133 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Fazmin/cve-intel)
- [wycats/rust-activesupport · ★ 133 · Rust · Prototype](https://repo.masters-masters.com/en/repos/wycats/rust-activesupport)
- [carllerche/syncbox · ★ 133 · Rust · Prototype](https://repo.masters-masters.com/en/repos/carllerche/syncbox)
- [InQuicker/kaws · ★ 133 · Rust · Prototype](https://repo.masters-masters.com/en/repos/InQuicker/kaws)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.