PrototypeCommune
viperproject/silver
Definition of the Viper intermediate verification language.
- Propriétaire
- viperproject (organisation)
- Étoiles
- Étoiles : 100
- Forks
- Forks : 53
- Langage
- Scala
- Licence
- MPL-2.0
- Création
- 2020
- Sujets
- viperverificationprogramming-language
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de viperproject
Les 3 dépôts de viperproject- viperproject/gobraÉtoiles : 229ScalaPrototype
- viperproject/siliconÉtoiles : 151ScalaPrototype
D’autres dépôts Scala
Tous les dépôts Scala- polynote/uzhttpÉtoiles : 100ScalaPrototype
- OpenXiangShan/fudianÉtoiles : 100ScalaPrototype
- indoorvivants/sn-bindgenÉtoiles : 100ScalaPrototype
- tristanjuricek/knockoffÉtoiles : 100ScalaPrototype
- mohiva/play-html-compressorÉtoiles : 100ScalaPrototype
- scoverage/sbt-coverallsÉtoiles : 100ScalaPrototype