Propietario · jepsen-io

jepsen-io

Repositorios de código abierto monitorizados de jepsen-io, ordenados por estrellas.

3 repositorios

#1
jepsen ↗@jepsen-ioClojure
Un framework para la verificación de sistemas distribuidos, con inyección de fallos.
★ 7485+5Variación de estrellas de los últimos 7 días
#2
maelstrom ↗@jepsen-ioClojure
Un banco de trabajo para escribir implementaciones de juguete de sistemas distribuidos.
★ 3671+3Variación de estrellas de los últimos 7 días
#3
elle ↗@jepsen-ioIsabelle
Verificador de seguridad transaccional de caja negra basado en detección de ciclos
★ 702-1Variación de estrellas de los últimos 7 días