GitHub repository: leanprover-community/import-graph
Primary language: Lean
Description: Tool to analyse the import structure of lean projects.