Tópico · apalache

apalache

Repositórios de código aberto acompanhados marcados com apalache, ordenados por estrelas.

Repositórios

2

Total de estrelas

2.249

Média de estrelas

1.125

Participação

0,00%

Tópicos que aparecem com frequência ao lado de apalache no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com apalache.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
quint ↗@quint-coTypeScript
Uma linguagem de especificação executável com ferramentas eficientes baseada na lógica temporal de ações (TLA).
★ 1.654+12Variação de estrelas nos últimos 7 dias
#2
apalache ↗@apalache-mcScala
APALACHE: verificador de modelo simbólico para TLA+ e Quint.
★ 596+2Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos