Pular para o conteúdo principal
buildradar
Sign in
Tópico · formal-semantics

formal-semantics

Repositórios de código aberto acompanhados marcados com formal-semantics, ordenados por estrelas.

Repositórios
1
Total de estrelas
1.190
Média de estrelas
1.190
Participação
0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com formal-semantics.

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

  • cakeml@CakeML

    CakeML: Uma implementação verificada de ML

    1.190+2Variação de estrelas nos últimos 7 dias
← Voltar para os tópicos