Tópico · specifications

specifications

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

Repositórios

Total de estrelas

5.690

Média de estrelas

1.423

Participação

0,00%

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

Em ascensão recentemente

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

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

#1
tlaplus ↗@tlaplusJava
TLC é um verificador de modelos para especificações escritas em TLA+. O TLA+Toolbox é uma IDE para TLA+.
★ 3.026+8Variação de estrelas nos últimos 7 dias
#2
specs ↗@ipfsHTML
Especificações técnicas para a pilha de protocolos IPFS
★ 1.238+0Variação de estrelas nos últimos 7 dias
#3
ircv3-specifications ↗@ircv3
Especificações IRCv3 | Roteiro: https://git.io/IRCv3-Roadmap | Código de conduta: http://ircv3.net/conduct.html
★ 864+2Variação de estrelas nos últimos 7 dias
#4
rres ↗@raysan5C
Um formato de arquivo simples e fácil de usar para empacotar recursos
★ 562+0Variação de estrelas nos últimos 7 dias