# viperproject/silicon

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

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

viperproject/silicon has 151 stars on GitHub. Its RepoMasters card: Prototype tier. Symbolic-execution-based verifier for the Viper intermediate verification…

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

## Repository

Symbolic-execution-based verifier for 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/silver · ★ 100 · Scala · Prototype](https://repo.masters-masters.com/en/repos/viperproject/silver)

## Nearby in Scala

- [EECS-NTNU/bismo · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/EECS-NTNU/bismo)
- [EmergentOrder/onnx-scala · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/EmergentOrder/onnx-scala)
- [ElAlev/Wayeb · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/ElAlev/Wayeb)
- [sbt/sbt-pgp · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/sbt/sbt-pgp)
- [retronym/macrocosm · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/retronym/macrocosm)
- [SalmaKhater/Learning-Akka · ★ 151 · Scala · Prototype](https://repo.masters-masters.com/en/repos/SalmaKhater/Learning-Akka)

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