Repositórios de código aberto acompanhados de jozefg, ordenados por estrelas.
Uma coleção de recursos para aprender teoria dos tipos e áreas adjacentes.
