# SRI-CSL/PVS

<https://repo.masters-masters.com/en/repos/SRI-CSL/PVS>

[Home](https://repo.masters-masters.com/en) › [SRI-CSL](https://repo.masters-masters.com/en/owners/SRI-CSL) › [PVS](https://repo.masters-masters.com/en/repos/SRI-CSL/PVS)

SRI-CSL/PVS has 188 stars on GitHub. Its RepoMasters card: Prototype tier. The People's Verification System Language: Common Lisp.

| Field | Value |
| --- | --- |
| Owner | [SRI-CSL](https://repo.masters-masters.com/en/owners/SRI-CSL) |
| Stars | 188 |
| Forks | 39 |
| Language | [Common Lisp](https://repo.masters-masters.com/en/languages/common-lisp) |
| License | BSD-3-Clause |
| Created | 2011 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [SRI-CSL/PVS](https://github.com/SRI-CSL/PVS) |

## Repository

The People's Verification System

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

## More repos by SRI-CSL

- [SRI-CSL/yices2 · ★ 487 · SMT · Alpha](https://repo.masters-masters.com/en/repos/SRI-CSL/yices2)
- [SRI-CSL/gllvm · ★ 341 · Go · Alpha](https://repo.masters-masters.com/en/repos/SRI-CSL/gllvm)

## Nearby in Common Lisp

- [slyrus/opticl · ★ 192 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/slyrus/opticl)
- [luksamuk/powerlisp · ★ 191 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/luksamuk/powerlisp)
- [Lisp-Stat/lisp-stat · ★ 191 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/Lisp-Stat/lisp-stat)
- [cl-unix-cybernetics/cl-unix-cybernetics · ★ 185 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/cl-unix-cybernetics/cl-unix-cybernetics)
- [SawfishWM/sawfish · ★ 183 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/SawfishWM/sawfish)
- [fukamachi/lack · ★ 182 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/fukamachi/lack)

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