Βιβλιοθήκες γραμμένες σε TLA
Examples
Μια συλλογή προδιαγραφών TLA+ ποικίλης πολυπλοκότητας (από tlaplus).
- 1.1k
- GNU General Public License v3.0
BlockingQueue
Εκμάθηση "Εβδομάδες εντοπισμού σφαλμάτων μπορούν να σας εξοικονομήσουν ώρες TLA+". Κάθε git commit εισάγει μια νέα ιδέα =>ελέγξτε το ιστορικό git! (από lemmy).
- 465
- MIT
CommunityModules
Αποσπάσματα, χειριστές και λειτουργικές μονάδες TLA+ που συνεισφέρονται και επιμελούνται από την κοινότητα TLA+.
- 228
- MIT
pgo
Το PGo είναι μια πηγή για προέλευση μεταγλωττιστή από τις προδιαγραφές Modular PlusCal σε προγράμματα Go..
- 143
- Apache License 2.0
TLAPLUS_DeadlockEmpire
Προδιαγραφές και μοντέλα για την επίλυση προβλημάτων DeadlockEmpire χρησιμοποιώντας TLA+ και TLC.
- 18