Repositórios de código aberto acompanhados de magmide, ordenados por estrelas.
Uma linguagem de prova com tipos dependentes destinada a tornar possível código bare metal comprovadamente correto para engenheiros de software.
