dot-analysis

Analysing dependency graphs produced by Agda

Installation

cabal install .

Generate a dot file for an agda file -

agda -i. --dependency-graph={file_name}.dot {agda_file_name}.agda`

Run dot-analysis -

dot-analysis [--arity] [--weight] [--top] FILE

Agda is a dependently typed programming language / interactive theorem prover.

extensible effects でやっていくドメインロジック記述 @ Gotanda.hs #1

Ascii DAG for visualization of dataflow

Algebraic graphs

Official upstream development repository for Cabal and cabal-install

haskell source code visualizer

Haskell bindings to the Graphviz toolkit

A library for dynamic graph algorithms, and in particular dynamic connectivity.

Compose a list of a project's transitive dependencies with their licenses

A Functional Graph Library for Haskell