# viperproject/silver

<https://repo.masters-masters.com/en/repos/viperproject/silver>

[Home](https://repo.masters-masters.com/en) › [viperproject](https://repo.masters-masters.com/en/owners/viperproject) › [silver](https://repo.masters-masters.com/en/repos/viperproject/silver)

viperproject/silver has 100 stars on GitHub. Its RepoMasters card: Prototype tier. Definition of the Viper intermediate verification language. Language: Scala.

| Field | Value |
| --- | --- |
| Owner | [viperproject](https://repo.masters-masters.com/en/owners/viperproject) |
| Stars | 100 |
| Forks | 53 |
| Language | [Scala](https://repo.masters-masters.com/en/languages/scala) |
| License | MPL-2.0 |
| Created | 2020 |
| Topics | viper, verification, programming-language |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [viperproject/silver](https://github.com/viperproject/silver) |

## Repository

Definition of the Viper intermediate verification language.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by viperproject

- [viperproject/gobra · ★ 232 · Scala · Prototype](https://repo.masters-masters.com/en/repos/viperproject/gobra)
- [viperproject/silicon · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/viperproject/silicon)

## Nearby in Scala

- [OpenXiangShan/fudian · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/OpenXiangShan/fudian)
- [indoorvivants/sn-bindgen · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/indoorvivants/sn-bindgen)
- [AppThreat/atom · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/AppThreat/atom)
- [tristanjuricek/knockoff · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/tristanjuricek/knockoff)
- [mohiva/play-html-compressor · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/mohiva/play-html-compressor)
- [scoverage/sbt-coveralls · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/scoverage/sbt-coveralls)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.