Color My Agda is an unofficial Typst package providing syntax highlight for Agda. It is available on Typst Universe. The project’s repository is online here.