# rocq-prover/opam

<https://repo.masters-masters.com/repos/rocq-prover/opam>

[Accueil](https://repo.masters-masters.com/) › [rocq-prover](https://repo.masters-masters.com/owners/rocq-prover) › [opam](https://repo.masters-masters.com/repos/rocq-prover/opam)

rocq-prover/opam, dépôt open source à 174 étoiles sur GitHub. Carte Prototype de RepoMasters. Archive for all Rocq and Coq-related opam packages organized in…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [rocq-prover](https://repo.masters-masters.com/owners/rocq-prover) |
| Étoiles | 174 |
| Forks | 195 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | LGPL-2.1 |
| Création | 2015 |
| Sujets | coq, opam-repository, opam, rocq-prover |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [rocq-prover/opam](https://github.com/rocq-prover/opam) |

## Fiche du dépôt

Archive for all Rocq and Coq-related opam packages organized in various repositories

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de rocq-prover

- [rocq-prover/rocq · ★ 5 657 · OCaml · Stable](https://repo.masters-masters.com/repos/rocq-prover/rocq)
- [rocq-prover/vsrocq · ★ 464 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/rocq-prover/vsrocq)
- [rocq-prover/platform · ★ 251 · Shell · Alpha](https://repo.masters-masters.com/repos/rocq-prover/platform)
- [rocq-prover/equations · ★ 239 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/rocq-prover/equations)

## D’autres dépôts OCaml

- [darioteixeira/pgocaml · ★ 178 · OCaml · Prototype](https://repo.masters-masters.com/repos/darioteixeira/pgocaml)
- [libguestfs/supermin · ★ 177 · OCaml · Prototype](https://repo.masters-masters.com/repos/libguestfs/supermin)
- [eWert-Online/OSnap · ★ 177 · OCaml · Prototype](https://repo.masters-masters.com/repos/eWert-Online/OSnap)
- [xclerc/ocamljava · ★ 171 · OCaml · Prototype](https://repo.masters-masters.com/repos/xclerc/ocamljava)
- [kuis-isle3sw/IoPLMaterials · ★ 171 · OCaml · Prototype](https://repo.masters-masters.com/repos/kuis-isle3sw/IoPLMaterials)
- [robur-coop/albatross · ★ 171 · OCaml · Prototype](https://repo.masters-masters.com/repos/robur-coop/albatross)

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