AlphaUncommon
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
- Owner
- apalache-mc (organization)
- Stars
- Stars: 622
- Forks
- Forks: 55
- Language
- Scala
- License
- Apache-2.0
- Created
- 2015
- Topics
- tlaplustlamodel-checkingsmtverificationquintapalache
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Scala
All Scala repos- VirtusLab/scala-cliStars: 643ScalaAlpha
- chandu0101/sriStars: 635ScalaAlpha
- 7mind/izumiStars: 628ScalaAlpha
- ucb-bar/riscv-miniStars: 621ScalaAlpha
- nixiesearch/nixiesearchStars: 620ScalaAlpha
- CircleCI-Archived/vampStars: 619ScalaAlpha