# formal-land/rocq-of-ocaml

<https://repo.masters-masters.com/en/repos/formal-land/rocq-of-ocaml>

[Home](https://repo.masters-masters.com/en) › [formal-land](https://repo.masters-masters.com/en/owners/formal-land) › [rocq-of-ocaml](https://repo.masters-masters.com/en/repos/formal-land/rocq-of-ocaml)

formal-land/rocq-of-ocaml has 279 stars on GitHub. Its RepoMasters card: Alpha tier. Formal verification for OCaml, with Rocq Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [formal-land](https://repo.masters-masters.com/en/owners/formal-land) |
| Stars | 279 |
| Forks | 22 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | MIT |
| Created | 2013 |
| Topics | ocaml, compiler, formal-verification, rocq |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [formal-land/rocq-of-ocaml](https://github.com/formal-land/rocq-of-ocaml) |

## Repository

Formal verification for OCaml, with Rocq

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by formal-land

- [formal-land/rocq-of-rust · ★ 1,194 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/formal-land/rocq-of-rust)

## Nearby in OCaml

- [rescript-lang/reanalyze · ★ 281 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/rescript-lang/reanalyze)
- [johnwhitington/cpdf-source · ★ 279 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/johnwhitington/cpdf-source)
- [ocaml-wasm/wasm\_of\_ocaml · ★ 279 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/ocaml-wasm/wasm_of_ocaml)
- [ocaml/Zarith · ★ 277 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/ocaml/Zarith)
- [andrejbauer/spartan-type-theory · ★ 277 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/andrejbauer/spartan-type-theory)

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