Repositórios de código aberto acompanhados de emina, ordenados por estrelas.
A linguagem hospedeira assistida por solver Rosette, DSLs assistidas por solver de exemplo e demonstrações
