This GitHub Action automatically generates interactive visualizations for formal mathematics libraries written in Agda.
Designed to integrate seamlessly into CI/CD pipelines, the tool performs the following steps:
- Environment Setup: runs within a Docker container with pre-configured compilers (Agda, GHC) and Python dependencies.
- Compilation: Type-checks the library and generates structural data (e.g., Agda S-expressions).
- Processing: Parses the module dependencies and definitions to construct a directed graph.
- Visualization: Outputs web-ready assets (interactive graphs, standalone HTML, or embeddable components) that can be deployed directly to GitHub Pages.
You can view a live example of the visualization generated for the Agda Unimath library here: