Perpustakaan yang ditulis dalam TLA

Examples

Kumpulan spesifikasi TLA+ dari berbagai kompleksitas (oleh tlaplus).
  • 1.1k
  • GNU General Public License v3.0

DrTLAPlus

Seri Dr. TLA+ - mempelajari algoritme dan protokol, mempelajari spesifikasi.
  • 757

BlockingQueue

Tutorial "Debugging selama berminggu-minggu dapat menghemat waktu TLA+". Setiap komit git memperkenalkan konsep baru =>periksa riwayat git! (oleh lemmy).
  • 465
  • MIT

CommunityModules

Cuplikan, operator, dan modul TLA+ disumbangkan dan dikuratori oleh komunitas TLA+.
  • 228
  • MIT

pgo

PGo adalah source to source compiler dari spesifikasi Modular PlusCal ke dalam program Go..
  • 143
  • Apache License 2.0

ewd998

Deteksi penghentian terdistribusi pada cincin, karena Shmuel Safra:.
  • 41
  • MIT

cross-chain-validation

  • 33
  • Apache License 2.0

TLAPLUS_DeadlockEmpire

Spesifikasi dan model untuk memecahkan masalah DeadlockEmpire menggunakan TLA+ dan TLC.
  • 18

TLAplus

Pertanyaan, jawaban, dan eksperimen TLA+ (oleh Isaac-DeFrain).
  • 17
  • Apache License 2.0

raft.tla

Spesifikasi TLA+ untuk algoritma konsensus Raft.
  • 8

advent-of-tla

Sasaran AoC di TLA+.
  • 6
  • MIT