Repositórios de código aberto acompanhados de potassco, ordenados por estrelas.
🦉 Um grounder e solver para programas lógicos.
