absolutize-imports.py

github.comsite

Processes source files to make loading of dependencies robust against shadowing of file names.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   inline-imports.py github.com

   Creates stand-alone source files from developments by inlining the loading of all dependencies.

   site link ↗
   site
2. ▲

   move-requires.py github.com

   Moves all dependency loading statements to the top of source files.

   site link ↗
   site
3. ▲

   logical-imports gitlab.com

   Sort imports logically by local name.

   site link ↗
   
4. ▲

   minimize-requires.py github.com

   Removes loading of unused dependencies.

   site link ↗
   site
5. ▲

   split-and-sort-imports github.com

   Sorts imports and splits 'multiple' imports into single line imports.

   tool link ↗
   
6. ▲

   import-x github.com

   Linting of ES2015+ import/export syntax, and prevent issues with misspelling of file paths and import names. Lightweight fork of eslint-plugin-import, but which breaks backwards compatibility.

   tool link ↗
   

Coq › Projects > Tools: “Processes source files to make loading of dependencies robust against shadowing of file names.”