# mit-pdos/perennial

<https://repo.masters-masters.com/en/repos/mit-pdos/perennial>

[Home](https://repo.masters-masters.com/en) › [mit-pdos](https://repo.masters-masters.com/en/owners/mit-pdos) › [perennial](https://repo.masters-masters.com/en/repos/mit-pdos/perennial)

mit-pdos/perennial has 255 stars on GitHub. Its RepoMasters card: Alpha tier. Verifying concurrent storage and distributed systems Language: Lean.

| Field | Value |
| --- | --- |
| Owner | [mit-pdos](https://repo.masters-masters.com/en/owners/mit-pdos) |
| Stars | 255 |
| Forks | 53 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | None |
| Created | 2019 |
| Topics | concurrency, verification, rocq |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [mit-pdos/perennial](https://github.com/mit-pdos/perennial) |

## Repository

Verifying concurrent storage and distributed systems

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

## More repos by mit-pdos

- [mit-pdos/xv6-riscv · ★ 10,744 · C · Stable](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-riscv)
- [mit-pdos/xv6-public · ★ 9,718 · C · Stable](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-public)
- [mit-pdos/noria · ★ 5,246 · Rust · Stable](https://repo.masters-masters.com/en/repos/mit-pdos/noria)
- [mit-pdos/biscuit · ★ 2,591 · Go · RC](https://repo.masters-masters.com/en/repos/mit-pdos/biscuit)
- [mit-pdos/xv6-riscv-book · ★ 999 · TeX · Beta](https://repo.masters-masters.com/en/repos/mit-pdos/xv6-riscv-book)
- [mit-pdos/RVirt · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/en/repos/mit-pdos/RVirt)

## Nearby in Lean

- [ImperialCollegeLondon/formalising-mathematics-2024 · ★ 264 · Lean · Alpha](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/formalising-mathematics-2024)
- [leanprover-community/lean-liquid · ★ 255 · Lean · Alpha](https://repo.masters-masters.com/en/repos/leanprover-community/lean-liquid)
- [dwrensha/compfiles · ★ 255 · Lean · Alpha](https://repo.masters-masters.com/en/repos/dwrensha/compfiles)
- [leanprover/comparator · ★ 247 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/comparator)
- [leanprover-community/iris-lean · ★ 246 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover-community/iris-lean)

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