AlphaPeu commune
mit-pdos/perennial
Verifying concurrent storage and distributed systems
- Propriétaire
- mit-pdos (organisation)
- Étoiles
- Étoiles : 253
- Forks
- Forks : 53
- Langage
- Lean
- Licence
- Aucune
- Création
- 2019
- Sujets
- concurrencyverificationrocq
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de mit-pdos
Les 11 dépôts de mit-pdos- mit-pdos/xv6-riscvÉtoiles : 10 736CStable
- mit-pdos/xv6-publicÉtoiles : 9 717CStable
- mit-pdos/noriaÉtoiles : 5 246RustStable
- mit-pdos/biscuitÉtoiles : 2 592GoRC
- mit-pdos/xv6-riscv-bookÉtoiles : 998TeXBêta
- mit-pdos/RVirtÉtoiles : 369RustAlpha
D’autres dépôts Lean
Tous les dépôts Lean- TauCetiProject/TauCetiÉtoiles : 262LeanAlpha
- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha
- dwrensha/compfilesÉtoiles : 255LeanAlpha
- leanprover/comparatorÉtoiles : 247LeanPrototype
- leanprover-community/iris-leanÉtoiles : 246LeanPrototype
- teorth/pfrÉtoiles : 246LeanPrototype