wtf do these Agda repos do?

Popular Agda repositories on GitHub, each decoded: what it actually does, its stack, and how to run it.

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