AlphaUncommon
mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
- Owner
- mit-plv (organization)
- Stars
- Stars: 340
- Forks
- Forks: 56
- Language
- Rocq Prover
- License
- MIT
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by mit-plv
All 7 repos by mit-plv- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta
- mit-plv/koikaStars: 191Rocq ProverPrototype
- mit-plv/riscv-semanticsStars: 180HaskellPrototype
- mit-plv/kamiStars: 173Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- jasmin-lang/jasminStars: 389Rocq ProverAlpha
- ccz181078/Coq-BB5Stars: 377Rocq ProverAlpha
- stepchowfun/proofsStars: 316Rocq ProverAlpha
- QuickChick/QuickChickStars: 296Rocq ProverAlpha
- DeepSpec/InteractionTreesStars: 261Rocq ProverAlpha