GitHub repository: ATirelli/monads-coq
Primary language: Coq
Description: Monads, from category theory and functional programming, in Coq.