chaparA framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
gaiaImplementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
coq-artCoq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
bignumsCoq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
hydra-battlesVariations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]