AlphaPeu commune
mit-pdos/fscq
FSCQ is a certified file system written and proven in Coq
- Propriétaire
- mit-pdos (organisation)
- Étoiles
- Étoiles : 252
- Forks
- Forks : 24
- Langage
- Coq
- Licence
- Aucune
- Création
- 2015
- 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 733CStable
- 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 : 997TeXBêta
- mit-pdos/RVirtÉtoiles : 369RustAlpha
D’autres dépôts Coq
Tous les dépôts Coq- princeton-vl/CoqGymÉtoiles : 422CoqAlpha
- antalsz/hs-to-coqÉtoiles : 283CoqAlpha
- lulinchen/cnn_openÉtoiles : 262CoqAlpha
- hacspec/hacspecÉtoiles : 250CoqAlpha
- UniMath/FoundationsÉtoiles : 247CoqPrototype
- sifive/KamiÉtoiles : 232CoqPrototype