This is stars and forks stats for /coq/opam repository. As of 03 May, 2024 this repository has 109 stars and 135 forks.
opam archive for Coq All opam repositories for Coq packages live here. Packages are organized according to the layout: released: packages for officially released versions of Coq libraries and Coq extensions. core-dev: packages for development versions of Coq. extra-dev: packages for development versions of Coq libraries and Coq extensions. We welcome pull requests to the released repository adding any Coq-related package that is compatible with a released version of Coq. Besides libraries of general...
opam archive for Coq All opam repositories for Coq packages live here. Packages are organized according to the layout: released: packages for officially released versions of Coq libraries and Coq extensions. core-dev: packages for development versions of Coq. extra-dev: packages for development versions of Coq libraries and Coq extensions. We welcome pull requests to the released repository adding any Coq-related package that is compatible with a released version of Coq. Besides libraries of general...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| cil-project/cil | OCamlCPerl | 336 | 0 | 109 | 0 |
| Part-DB/Part-DB-server | PHPTwigJavaScript | 508 | 0 | 53 | 0 |
| shinsenter/php | DockerfileShellPHP | 60 | 0 | 38 | 0 |
| phpearth/docker-php | DockerfileShellMakefile | 261 | 0 | 115 | 0 |
| alphapapa/org-protocol-capture-html | Emacs LispShell | 440 | +1 | 64 | +2 |
| JCSDA/CRTMv3 | FortranAssemblyC++ | 4 | 0 | 4 | 0 |
| codeanticode/pshader-tutorials | GLSLProcessingMakefile | 57 | 0 | 23 | 0 |
| paddingme/Front-end-Web-Development-Interview-Question | HTMLJavaScript | 6.2k | 0 | 1.2k | 0 |
| mongodb/mongo-java-driver | JavaGroovyScala | 2.6k | +1 | 1.5k | +5 |
| nerfies/nerfies.github.io | JavaScriptHTMLCSS | 960 | +20 | 253 | +4 |