Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

jepsen-io

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@jepsen-io

Jepsen

Distributed Systems Testing

PinnedLoading

  1. jepsenjepsenPublic

    A framework for distributed systems verification, with fault injection

    Clojure 7k 726

  2. maelstrommaelstromPublic

    A workbench for writing toy implementations of distributed systems.

    Clojure 3.2k 195

  3. elleellePublic

    Black-box transactional safety checker based on cycle detection

    Isabelle 652 34

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 28 repositories
  • jepsen Public

    A framework for distributed systems verification, with fault injection

    jepsen-io/jepsen’s past year of commit activity
    Clojure 6,986 726 63(1 issue needs help) 1 UpdatedMar 7, 2025
  • elle Public

    Black-box transactional safety checker based on cycle detection

    jepsen-io/elle’s past year of commit activity
    Isabelle 652EPL-2.0 34 6 0 UpdatedMar 7, 2025
  • history.sim Public

    Deterministic simulation of Jepsen histories for testing database checkers

    jepsen-io/history.sim’s past year of commit activity
    Clojure 5 1 0 0 UpdatedMar 7, 2025
  • knossos Public

    Verifies the linearizability of experimentally accessible histories.

    jepsen-io/knossos’s past year of commit activity
    Clojure 401 32 6 0 UpdatedMar 7, 2025
  • history Public

    Support library for working with Jepsen histories

    jepsen-io/history’s past year of commit activity
    Clojure 8 2 0 1 UpdatedMar 7, 2025
  • rds Public

    Library for launching AWS RDS clusters

    jepsen-io/rds’s past year of commit activity
    Clojure00 0 0 UpdatedMar 1, 2025
  • maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    jepsen-io/maelstrom’s past year of commit activity
    Clojure 3,210EPL-1.0 195 14 3 UpdatedFeb 4, 2025
  • etcd Public

    Jepsen tests for etcd

    jepsen-io/etcd’s past year of commit activity
    Clojure 23EPL-2.0 10 1 0 UpdatedJan 9, 2025
  • redpanda Public

    Tests for the Redpanda distributed queue

    jepsen-io/redpanda’s past year of commit activity
    Clojure 5 6 0 1 UpdatedDec 2, 2024
  • bufstream Public

    Jepsen tests for the Bufstream distributed log service

    jepsen-io/bufstream’s past year of commit activity
    Clojure 30 0 0 UpdatedOct 29, 2024

Most used topics

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp