PrototypeCommon
microsoft/verus-proof-synthesis
No description.
- Owner
- microsoft (organization)
- Stars
- Stars: 133
- Forks
- Forks: 26
- Language
- Rust
- License
- MIT
- Created
- 2024
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by microsoft
All 1,922 repos by microsoft- microsoft/vscodeStars: 194,543TypeScriptLTS
- microsoft/markitdownStars: 193,786PythonLTS
- microsoft/PowerToysStars: 140,513CLTS
- microsoft/generative-ai-for-beginnersStars: 122,938Jupyter NotebookLTS
- microsoft/TypeScriptStars: 111,732GoLTS
- microsoft/terminalStars: 105,321C++LTS
Nearby in Rust
All Rust repos- CosmicFrontierLabs/unlinkedStars: 133RustPrototype
- nailuj05/framemateStars: 133RustPrototype
- Fazmin/cve-intelStars: 133RustPrototype
- wycats/rust-activesupportStars: 133RustPrototype
- carllerche/syncboxStars: 133RustPrototype
- InQuicker/kawsStars: 133RustPrototype