AlphaUncommon
mit-pdos/fscq
FSCQ is a certified file system written and proven in Coq
- Owner
- mit-pdos (organization)
- Stars
- Stars: 252
- Forks
- Forks: 24
- Language
- Coq
- License
- None
- Created
- 2015
- 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,736CStable
- mit-pdos/xv6-publicStars: 9,717CStable
- mit-pdos/noriaStars: 5,246RustStable
- mit-pdos/biscuitStars: 2,592GoRC
- mit-pdos/xv6-riscv-bookStars: 998TeXBeta
- mit-pdos/RVirtStars: 369RustAlpha
Nearby in Coq
All Coq repos- princeton-vl/CoqGymStars: 422CoqAlpha
- antalsz/hs-to-coqStars: 283CoqAlpha
- lulinchen/cnn_openStars: 263CoqAlpha
- hacspec/hacspecStars: 250CoqAlpha
- UniMath/FoundationsStars: 247CoqPrototype
- sifive/KamiStars: 232CoqPrototype