# rocq-prover/opam

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

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

rocq-prover/opam has 174 stars on GitHub. Its RepoMasters card: Prototype tier. Archive for all Rocq and Coq-related opam packages organized in various…

| Field | Value |
| --- | --- |
| Owner | [rocq-prover](https://repo.masters-masters.com/en/owners/rocq-prover) |
| Stars | 174 |
| Forks | 195 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | LGPL-2.1 |
| Created | 2015 |
| Topics | coq, opam-repository, opam, rocq-prover |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [rocq-prover/opam](https://github.com/rocq-prover/opam) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by rocq-prover

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

## Nearby in OCaml

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.