AlphaUncommon
pereq-dev/hax
A Rust verification tool
- Owner
- pereq-dev (organization)
- Stars
- Stars: 491
- Forks
- Forks: 72
- Language
- Rust
- License
- Apache-2.0
- Created
- 2023
- Topics
- formal-verificationrust
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Rust
All Rust repos- SUPERCILEX/clipboard-historyStars: 491RustAlpha
- vllm-project/routerStars: 491RustAlpha
- supermemoryai/smfsStars: 491RustAlpha
- lumol-org/soa-deriveStars: 491RustAlpha
- WorksApplications/sudachi.rsStars: 491RustAlpha
- RaphGL/TuckrStars: 491RustAlpha