Repositórios de código aberto acompanhados de sweirich, ordenados por estrelas.
Uma implementação de demonstração de uma linguagem simples com tipos dependentes
