formal-land / coq-of-ocaml

RepositoryStats indexes 604,335 repositories, of these formal-land/coq-of-ocaml is ranked #153,268 (75th percentile) for total stargazers, and #248,261 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #138/720.

formal-land/coq-of-ocaml is also tagged with popular topics, for these it's ranked: compiler (#438/1070),  ocaml (#85/294)

formal-land/coq-of-ocaml has 13 open pull requests on Github, 129 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 5 open issues and 65 closed issues.

There have been 16 releases, the latest one was published on 2023-01-04 (2 years ago) with the name 2.5.3.

Homepage URL: https://formal.land/docs/coq-of-ocaml/introduction