Repositórios de código aberto acompanhados de quint-co, ordenados por estrelas.
Uma linguagem de especificação executável com ferramentas eficientes baseada na lógica temporal de ações (TLA).
