PrototypeCommon
rocq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- Owner
- rocq-community (organization)
- Stars
- Stars: 103
- Forks
- Forks: 33
- Language
- OCaml
- License
- LGPL-2.1
- Created
- 2014
- Topics
- coqdependency-graphdependency-analysisdocker-coq-actioncoq-cicoq-platform
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by rocq-community
All 9 repos by rocq-community- rocq-community/rocq-tricksStars: 556CoqAlpha
- rocq-community/awesome-coqStars: 397Alpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- rocq-community/rocq-lspStars: 212OCamlPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
Nearby in OCaml
All OCaml repos- rems-project/cerberusStars: 104OCamlPrototype
- camlp4/camlp4Stars: 103OCamlPrototype
- exercism/ocamlStars: 103OCamlPrototype
- ocaml/ocaml-ci-scriptsStars: 102OCamlPrototype
- abella-prover/abellaStars: 101OCamlPrototype