Pemilik · jepsen-io

jepsen-io

Repositori open source terpantau milik jepsen-io, diurutkan berdasarkan bintang.

3 repositori

#1
jepsen ↗@jepsen-ioClojure
Sebuah framework untuk verifikasi sistem terdistribusi, dengan fault injection
★ 7.485+5Perubahan bintang dalam 7 hari terakhir
#2
maelstrom ↗@jepsen-ioClojure
Workbench untuk menulis implementasi mainan sistem terdistribusi.
★ 3.671+3Perubahan bintang dalam 7 hari terakhir
#3
elle ↗@jepsen-ioIsabelle
Pemeriksa keamanan transaksional kotak-hitam berdasarkan deteksi siklus
★ 702-1Perubahan bintang dalam 7 hari terakhir