Sujet · specifications

specifications

Dépôts open source suivis étiquetés specifications, triés par étoiles.

Dépôts

4

Total d'étoiles

5 690

Étoiles en moyenne

1 423

Part

0,00%

Sujets qui apparaissent souvent aux côtés de specifications sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés specifications.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
tlaplus ↗@tlaplusJava
TLC est un vérificateur de modèles pour les spécifications écrites en TLA+. La TLA+Toolbox est un IDE pour TLA+.
★ 3 026+8Évolution des étoiles sur les 7 derniers jours
#2
specs ↗@ipfsHTML
Spécifications techniques pour la pile de protocoles IPFS.
★ 1 238+0Évolution des étoiles sur les 7 derniers jours
#3
ircv3-specifications ↗@ircv3
Spécifications IRCv3 | Feuille de route : https://git.io/IRCv3-Roadmap | Code de conduite : http://ircv3.net/conduct.html
★ 864+2Évolution des étoiles sur les 7 derniers jours
#4
rres ↗@raysan5C
Un format de fichier simple et facile à utiliser pour packager des ressources.
★ 562+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets