PrototypeCommon
quint-co/quint-connect
A model-based testing framework for Quint + Rust
- Owner
- quint-co (organization)
- Stars
- Stars: 103
- Forks
- Forks: 5
- Language
- Rust
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by quint-co
All 3 repos by quint-co- quint-co/quintStars: 1,910TypeScriptBeta
- quint-co/quint-llm-kitStars: 115QuintPrototype
Nearby in Rust
All Rust repos- KyleThmpsn/sundialStars: 103RustPrototype
- Kludex/pgtaskStars: 103RustPrototype
- whompay/FNCRebornStars: 103RustPrototype
- lifthrasiir/angolmois-rustStars: 103RustPrototype
- aatxe/markovStars: 103RustPrototype
- compass-rs/sass-rsStars: 103RustPrototype