Repositórios de código aberto acompanhados de achlipala, ordenados por estrelas.
Raciocínio formal sobre programas
