AlphaUncommon
mit-pdos/perennial
Verifying concurrent storage and distributed systems
- Owner
- mit-pdos (organization)
- Stars
- Stars: 255
- Forks
- Forks: 53
- Language
- Lean
- License
- None
- Created
- 2019
- Topics
- concurrencyverificationrocq
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by mit-pdos
All 11 repos by mit-pdos- mit-pdos/xv6-riscvStars: 10,744CStable
- mit-pdos/xv6-publicStars: 9,718CStable
- mit-pdos/noriaStars: 5,246RustStable
- mit-pdos/biscuitStars: 2,591GoRC
- mit-pdos/xv6-riscv-bookStars: 999TeXBeta
- mit-pdos/RVirtStars: 369RustAlpha
Nearby in Lean
All Lean repos- ImperialCollegeLondon/formalising-mathematics-2024Stars: 264LeanAlpha
- leanprover-community/lean-liquidStars: 255LeanAlpha
- dwrensha/compfilesStars: 255LeanAlpha
- leanprover/comparatorStars: 247LeanPrototype
- leanprover-community/iris-leanStars: 246LeanPrototype