<div dir="ltr"><div><div><div>Hello, I made a simple tool in javascript that creates a graph of agda files based on their imports.<br></div>Then it spawns multiple agda processes and concurrently typechecks them.<br><br></div>It is not efficient in any way. Still with 10 processes, I can reduce the time of compiling everything from HoTT-agda (in the theorem folder) from 17 min to 10 min.<br><br></div>Hope it helps.<br><br><a href="https://github.com/xekoukou/agda-mt">https://github.com/xekoukou/agda-mt</a><br></div>