ongardie/raft.tla
@ongardieSpesifikasi TLA+ untuk algoritma konsensus Raft
Bintang
528
Fork
96
Bahasa
TLA
Lisensi
—
Push terakhir
2 tahun yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.