Top 3 coq-platform open source projects

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]