Langage · TLA

TLA

Dépôts open source suivis ayant TLA pour langage principal, triés par étoiles.

3 dépôts

#1
Examples@tlaplusTLA
Une collection de spécifications TLA⁺ de complexités variées.
★ 1 558+2Évolution des étoiles sur les 7 derniers jours
#2
raft.tla@ongardieTLA
Spécification TLA+ pour l'algorithme de consensus Raft.
★ 523+2Évolution des étoiles sur les 7 derniers jours
#3
BlockingQueue@lemmyTLA
Tutoriel « Des semaines de débogage peuvent vous faire économiser des heures de TLA+ ». Chaque commit git introduit un nouveau concept, consultez l'historique git.
★ 505+1Évolution des étoiles sur les 7 derniers jours