# Dépôts de mit-plv

<https://repo.masters-masters.com/owners/mit-plv>

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

Les 7 dépôts GitHub publics de mit-plv, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de mit-plv

7 dépôts publics de mit-plv au catalogue, du plus étoilé au moins étoilé.

- [mit-plv/fiat-crypto · ★ 851 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/mit-plv/fiat-crypto)
- [mit-plv/bedrock2 · ★ 340 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/mit-plv/bedrock2)
- [mit-plv/koika · ★ 191 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/koika)
- [mit-plv/riscv-semantics · ★ 180 · Haskell · Prototype](https://repo.masters-masters.com/repos/mit-plv/riscv-semantics)
- [mit-plv/kami · ★ 173 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/kami)
- [mit-plv/fiat · ★ 157 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/fiat)
- [mit-plv/riscv-coq · ★ 123 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/mit-plv/riscv-coq)

## Voir mit-plv sur GitHub

- [https://github.com/mit-plv](https://github.com/mit-plv)

---
Données : GitHub