coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
AI summary
Dependency analyzer
Analyze Coq object dependencies and produce files with dependency information
- stars
- 87
- forks
- 28
- watching
- 8
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Graph formalizer
Formalized graph theory results for research and verification
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Parametrization tool
A Coq plugin providing commands for generating parametricity statements used in data refinement proofs.
Dependency analyzer
A tool that scans C++ source code to generate dependency graphs in .dot format
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Dependency analyzer
An analysis tool for class dependencies and jar file relationships
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Binding manipulation library
A Coq library for manipulating binding structures in syntax with binders.
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Dependency graph visualization
A tool to visualize and analyze the complexity of codebases by depicting file dependencies as a 3D graph
Coq container
Provides pre-configured Docker images for building and testing the Coq proof assistant
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coq-dpdgraph.
