Bahasa Pemrograman · TLA

TLA

Repositori open source terpantau dengan TLA sebagai bahasa utama, diurutkan berdasarkan bintang.

3 repositori

#1
Examples@tlaplusTLA
Kumpulan spesifikasi TLA⁺ dengan berbagai tingkat kompleksitas.
★ 1.558+2Perubahan bintang dalam 7 hari terakhir
#2
raft.tla@ongardieTLA
Spesifikasi TLA+ untuk algoritma konsensus Raft
★ 523+2Perubahan bintang dalam 7 hari terakhir
#3
BlockingQueue@lemmyTLA
Tutorial "Weeks of debugging can save you hours of TLA+". Setiap commit git memperkenalkan konsep baru => periksa riwayat git!
★ 505+1Perubahan bintang dalam 7 hari terakhir