# nasa/pvslib

<https://repo.masters-masters.com/en/repos/nasa/pvslib>

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

nasa/pvslib has 313 stars on GitHub. Its RepoMasters card: Alpha tier. NASA PVS Library of Formal Developments Language: Common Lisp.

| Field | Value |
| --- | --- |
| Owner | [nasa](https://repo.masters-masters.com/en/owners/nasa) |
| Stars | 313 |
| Forks | 61 |
| Language | [Common Lisp](https://repo.masters-masters.com/en/languages/common-lisp) |
| License | None |
| Created | 2014 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [nasa/pvslib](https://github.com/nasa/pvslib) |

## Repository

NASA PVS Library of Formal Developments

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by nasa

- [nasa/openmct · ★ 13,201 · JavaScript · Stable](https://repo.masters-masters.com/en/repos/nasa/openmct)
- [nasa/fprime · ★ 11,856 · C++ · Stable](https://repo.masters-masters.com/en/repos/nasa/fprime)
- [nasa/NASA-3D-Resources · ★ 3,848 · RC](https://repo.masters-masters.com/en/repos/nasa/NASA-3D-Resources)
- [nasa/spacewasm · ★ 1,623 · Rust · Beta](https://repo.masters-masters.com/en/repos/nasa/spacewasm)
- [nasa/cFS · ★ 1,558 · C · Beta](https://repo.masters-masters.com/en/repos/nasa/cFS)
- [nasa/astrobee · ★ 1,436 · C++ · Beta](https://repo.masters-masters.com/en/repos/nasa/astrobee)

## Nearby in Common Lisp

- [pallet/ritz · ★ 319 · Common Lisp · Alpha](https://repo.masters-masters.com/en/repos/pallet/ritz)
- [vsedach/Vacietis · ★ 319 · Common Lisp · Alpha](https://repo.masters-masters.com/en/repos/vsedach/Vacietis)
- [ocicl/ocicl · ★ 318 · Common Lisp · Alpha](https://repo.masters-masters.com/en/repos/ocicl/ocicl)
- [gregcman/sucle · ★ 308 · Common Lisp · Alpha](https://repo.masters-masters.com/en/repos/gregcman/sucle)
- [takagi/cl-cuda · ★ 305 · Common Lisp · Alpha](https://repo.masters-masters.com/en/repos/takagi/cl-cuda)
- [quicklisp/quicklisp-client · ★ 303 · Common Lisp · Alpha](https://repo.masters-masters.com/en/repos/quicklisp/quicklisp-client)

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