This is stars and forks stats for /coq/coq repository. As of 27 Apr, 2024 this repository has 4389 stars and 626 forks.
Coq Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Installation Please see https://coq.inria.fr/download. Information on how to build and install from sources can be found in INSTALL.md. Documentation The sources of the documentation can be found in directory doc. See doc/README.md to learn more about the documentation, in...
Coq Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Installation Please see https://coq.inria.fr/download. Information on how to build and install from sources can be found in INSTALL.md. Documentation The sources of the documentation can be found in directory doc. See doc/README.md to learn more about the documentation, in...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| facebook/flow | OCamlJavaScriptShell | 22k | -3 | 1.9k | 0 |
| returntocorp/semgrep | OCamlPythonJava | 8.9k | +18 | 521 | +1 |
| ocaml/merlin | OCamlPerlEmacs Lisp | 1.5k | 0 | 226 | 0 |
| facebook/pyre-check | OCamlPythonC | 6.5k | +7 | 458 | +3 |
| bcpierce00/unison | OCamlStandard MLObjective-C | 3.3k | +11 | 207 | +1 |
| astrada/google-drive-ocamlfuse | OCamlOther | 5.2k | +7 | 394 | +5 |
| BinaryAnalysisPlatform/bap | OCamlCommon LispC++ | 1.9k | -1 | 275 | 0 |
| ocaml/dune | OCamlPowerShellC | 1.4k | +7 | 370 | 0 |
| facebook/infer | OCamlSMTJava | 14.4k | +14 | 2.2k | +1 |
| openvinotoolkit/cvat | TypeScriptPythonJavaScript | 10.2k | +26 | 2.5k | +8 |