# mit-pdos/fscq

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

[Accueil](https://repo.masters-masters.com/) › [mit-pdos](https://repo.masters-masters.com/owners/mit-pdos) › [fscq](https://repo.masters-masters.com/repos/mit-pdos/fscq)

mit-pdos/fscq, dépôt open source à 252 étoiles sur GitHub. Carte Alpha de RepoMasters. FSCQ is a certified file system written and proven in Coq Langage : Coq.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [mit-pdos](https://repo.masters-masters.com/owners/mit-pdos) |
| Étoiles | 252 |
| Forks | 24 |
| Langage | [Coq](https://repo.masters-masters.com/languages/coq) |
| Licence | Aucune |
| Création | 2015 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [mit-pdos/fscq](https://github.com/mit-pdos/fscq) |

## Fiche du dépôt

FSCQ is a certified file system written and proven in Coq

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de mit-pdos

- [mit-pdos/xv6-riscv · ★ 10 736 · C · Stable](https://repo.masters-masters.com/repos/mit-pdos/xv6-riscv)
- [mit-pdos/xv6-public · ★ 9 717 · C · Stable](https://repo.masters-masters.com/repos/mit-pdos/xv6-public)
- [mit-pdos/noria · ★ 5 246 · Rust · Stable](https://repo.masters-masters.com/repos/mit-pdos/noria)
- [mit-pdos/biscuit · ★ 2 592 · Go · RC](https://repo.masters-masters.com/repos/mit-pdos/biscuit)
- [mit-pdos/xv6-riscv-book · ★ 998 · TeX · Bêta](https://repo.masters-masters.com/repos/mit-pdos/xv6-riscv-book)
- [mit-pdos/RVirt · ★ 369 · Rust · Alpha](https://repo.masters-masters.com/repos/mit-pdos/RVirt)

## D’autres dépôts Coq

- [princeton-vl/CoqGym · ★ 422 · Coq · Alpha](https://repo.masters-masters.com/repos/princeton-vl/CoqGym)
- [antalsz/hs-to-coq · ★ 283 · Coq · Alpha](https://repo.masters-masters.com/repos/antalsz/hs-to-coq)
- [lulinchen/cnn\_open · ★ 263 · Coq · Alpha](https://repo.masters-masters.com/repos/lulinchen/cnn_open)
- [hacspec/hacspec · ★ 250 · Coq · Alpha](https://repo.masters-masters.com/repos/hacspec/hacspec)
- [UniMath/Foundations · ★ 247 · Coq · Prototype](https://repo.masters-masters.com/repos/UniMath/Foundations)
- [sifive/Kami · ★ 232 · Coq · Prototype](https://repo.masters-masters.com/repos/sifive/Kami)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.