PrototypeCommon
viperproject/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
- Owner
- viperproject (organization)
- Stars
- Stars: 151
- Forks
- Forks: 45
- Language
- Scala
- License
- MPL-2.0
- Created
- 2020
- Topics
- viperverificationsymbolic-execution
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by viperproject
All 3 repos by viperproject- viperproject/gobraStars: 229ScalaPrototype
- viperproject/silverStars: 100ScalaPrototype
Nearby in Scala
All Scala repos- EmergentOrder/onnx-scalaStars: 151ScalaPrototype
- allwefantasy/spark-binlogStars: 151ScalaPrototype
- ElAlev/WayebStars: 151ScalaPrototype
- sbt/sbt-pgpStars: 151ScalaPrototype
- retronym/macrocosmStars: 151ScalaPrototype
- SalmaKhater/Learning-AkkaStars: 151ScalaPrototype