What are the top Agda repos?

Popular Agda repositories on GitHub, each answered in plain English for non-coders: what it is, its tech stack, and how to run it.

ailrun/proofpoolA collection of computer-checked mathematical proofs written in Agda, a language for formally proving theorems