Repositórios de código aberto acompanhados de uwdb, ordenados por estrelas.
Cosette é um solver de SQL automatizado.
