Proprietário · jepsen-io

jepsen-io

Repositórios de código aberto acompanhados de jepsen-io, ordenados por estrelas.

3 repositórios

#1
jepsen ↗@jepsen-ioClojure
Um framework para verificação de sistemas distribuídos, com injeção de falhas.
★ 7.485+5Variação de estrelas nos últimos 7 dias
#2
maelstrom ↗@jepsen-ioClojure
Uma bancada de trabalho para escrever implementações de brinquedo de sistemas distribuídos.
★ 3.671+3Variação de estrelas nos últimos 7 dias
#3
elle ↗@jepsen-ioIsabelle
Verificador de segurança transacional de caixa-preta baseado em detecção de ciclos
★ 702-1Variação de estrelas nos últimos 7 dias