Βιβλιοθήκες γραμμένες σε TLA

Examples

Μια συλλογή προδιαγραφών TLA+ ποικίλης πολυπλοκότητας (από tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Σειρά Dr. TLA+ - μάθετε έναν αλγόριθμο και ένα πρωτόκολλο, μελετήστε μια προδιαγραφή.
  • 757

BlockingQueue

Εκμάθηση "Εβδομάδες εντοπισμού σφαλμάτων μπορούν να σας εξοικονομήσουν ώρες TLA+". Κάθε git commit εισάγει μια νέα ιδέα =>ελέγξτε το ιστορικό git! (από lemmy).
  • 465
  • MIT

CommunityModules

Αποσπάσματα, χειριστές και λειτουργικές μονάδες TLA+ που συνεισφέρονται και επιμελούνται από την κοινότητα TLA+.
  • 228
  • MIT

pgo

Το PGo είναι μια πηγή για προέλευση μεταγλωττιστή από τις προδιαγραφές Modular PlusCal σε προγράμματα Go..
  • 143
  • Apache License 2.0

ewd998

Κατανεμημένη ανίχνευση τερματισμού σε δακτύλιο, λόγω του Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Προδιαγραφές και μοντέλα για την επίλυση προβλημάτων DeadlockEmpire χρησιμοποιώντας TLA+ και TLC.
  • 18

TLAplus

Ερωτήσεις, απαντήσεις και πειράματα TLA+ (από τον Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Προδιαγραφή TLA+ για τον αλγόριθμο συναίνεσης Raft.
  • 8

advent-of-tla

Στόχοι AoC στο TLA+.
  • 6
  • MIT