PrototypeCommon
viperproject/silver
Definition of the Viper intermediate verification language.
- Owner
- viperproject (organization)
- Stars
- Stars: 100
- Forks
- Forks: 53
- Language
- Scala
- License
- MPL-2.0
- Created
- 2020
- Topics
- viperverificationprogramming-language
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by viperproject
All 3 repos by viperproject- viperproject/gobraStars: 229ScalaPrototype
- viperproject/siliconStars: 151ScalaPrototype
Nearby in Scala
All Scala repos- polynote/uzhttpStars: 100ScalaPrototype
- OpenXiangShan/fudianStars: 100ScalaPrototype
- indoorvivants/sn-bindgenStars: 100ScalaPrototype
- tristanjuricek/knockoffStars: 100ScalaPrototype
- mohiva/play-html-compressorStars: 100ScalaPrototype
- scoverage/sbt-coverallsStars: 100ScalaPrototype