Tópico · agda
agda
Repositórios de código aberto acompanhados marcados com agda, ordenados por estrelas.
Repositórios
3
Total de estrelas
4.164
Média de estrelas
1.388
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de agda no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com agda.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
Agda é uma linguagem de programação com tipos dependentes / provador de teoremas interativo.
★ 2.922+1Variação de estrelas nos últimos 7 dias - #2
A biblioteca padrão do Agda
★ 675+0Variação de estrelas nos últimos 7 dias - #3★ 567+1Variação de estrelas nos últimos 7 dias
