Tema · specifications

specifications

Repositorios de código abierto monitorizados etiquetados con specifications, ordenados por estrellas.

Repositorios

Estrellas totales

5690

Estrellas de media

1423

Proporción

0,00%

Temas que aparecen con frecuencia junto a specifications en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con specifications.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
tlaplus ↗@tlaplusJava
TLC es un verificador de modelos para especificaciones escritas en TLA+. TLA+ Toolbox es un IDE para TLA+.
★ 3026+8Variación de estrellas de los últimos 7 días
#2
specs ↗@ipfsHTML
Especificaciones técnicas para la pila de protocolos IPFS
★ 1238+0Variación de estrellas de los últimos 7 días
#3
ircv3-specifications ↗@ircv3
Especificaciones de IRCv3 | Hoja de ruta: https://git.io/IRCv3-Roadmap | Código de conducta: http://ircv3.net/conduct.html
★ 864+2Variación de estrellas de los últimos 7 días
#4
rres ↗@raysan5C
Un formato de archivo simple y fácil de usar para empaquetar recursos.
★ 562+0Variación de estrellas de los últimos 7 días