coq-dpdgraph
LGPL-2.1OCamlv1.0+9.1
A Coq plugin that extracts dependency graphs between Coq objects and provides tools for visualization and analysis.
101 stars33 forks0 contributors
Overview
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Related Projects
SailSail architecture definition language
Stars960
Forks173
Last commit1 day ago
CosetteCosette is an automated SQL solver.
Stars690
Forks57
Last commit1 year ago
OttThe Ott tool for writing definitions of programming languages and calculi
Stars427
Forks58
Last commit1 month ago
AlectryonA collection of tools for writing technical documents that mix Rocq code and prose.
Stars328
Forks45
Last commit4 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.