Repositórios de código aberto acompanhados de Rocq-zh, ordenados por estrelas.
Versão em chinês de Fundamentos de Software
