Eigentümer · jepsen-io

jepsen-io

Erfasste Open-Source-Repos von jepsen-io, sortiert nach Sternen.

3 Repos

#1
jepsen ↗@jepsen-ioClojure
Ein Framework zur Verifizierung verteilter Systeme mit Fehlereinspeisung
★ 7.485+5Sterne-Änderung der letzten 7 Tage
#2
maelstrom ↗@jepsen-ioClojure
Eine Werkbank zum Schreiben von Spielzeug-Implementierungen verteilter Systeme.
★ 3.671+3Sterne-Änderung der letzten 7 Tage
#3
elle ↗@jepsen-ioIsabelle
Black-Box-Prüfung der transaktionalen Sicherheit basierend auf Zykluserkennung
★ 702-1Sterne-Änderung der letzten 7 Tage