Propriétaire · jepsen-io

jepsen-io

Dépôts open source suivis de jepsen-io, triés par étoiles.

3 dépôts

#1
jepsen ↗@jepsen-ioClojure
Un framework pour la vérification de systèmes distribués, avec injection de fautes
★ 7 485+5Évolution des étoiles sur les 7 derniers jours
#2
maelstrom ↗@jepsen-ioClojure
Un atelier pour écrire des implémentations simplifiées de systèmes distribués.
★ 3 671+3Évolution des étoiles sur les 7 derniers jours
#3
elle ↗@jepsen-ioIsabelle
Vérificateur de sécurité transactionnelle en boîte noire basé sur la détection de cycles
★ 702-1Évolution des étoiles sur les 7 derniers jours