Skip to content

@jepsen-io Jepsen

Change the repository type filter

All

    Repositories list

    27 repositories

    • jepsen

      Public
      A framework for distributed systems verification, with fault injection
      Clojure
      •717•6.8k•58•0•Updated Oct 4, 2024Oct 4, 2024

    • elle

      Public
      Black-box transactional safety checker based on cycle detection
      Isabelle
      •
      Eclipse Public License 2.0
      •34•639•6•0•Updated Oct 4, 2024Oct 4, 2024

    • redpanda

      Public
      Tests for the Redpanda distributed queue
      Clojure
      •
      Other
      •4•5•0•0•Updated Oct 3, 2024Oct 3, 2024

    • etcd

      Public
      Jepsen tests for etcd
      Clojure
      •
      Eclipse Public License 2.0
      •9•22•0•0•Updated Aug 29, 2024Aug 29, 2024

    • maelstrom

      Public
      A workbench for writing toy implementations of distributed systems.
      testingdistributed-systemsjepsen
      Clojure
      •
      Eclipse Public License 1.0
      •189•3k•13•3•Updated Aug 13, 2024Aug 13, 2024

    • mysql

      Public
      Tests for MySQL and MariaDB
      Clojure
      •
      Other
      •3•5•0•0•Updated Apr 15, 2024Apr 15, 2024

    • rds

      Public
      Library for launching AWS RDS clusters
      Clojure
      •
      Other
      •0•0•0•0•Updated Mar 4, 2024Mar 4, 2024

    • postgres

      Public
      Jepsen tests for PostgreSQL
      Clojure
      •0•10•0•0•Updated Mar 4, 2024Mar 4, 2024

    • datomic

      Public
      Jepsen tests for the Datomic distributed database
      Clojure
      •
      Other
      •0•9•0•0•Updated Feb 5, 2024Feb 5, 2024

    • ravendb

      Public
      Jepsen tests for RavenDB
      Clojure
      •
      Other
      •0•5•0•0•Updated Jan 26, 2024Jan 26, 2024

    • history.sim

      Public
      Deterministic simulation of Jepsen histories for testing database checkers
      Clojure
      •
      Other
      •1•5•0•0•Updated Dec 19, 2023Dec 19, 2023

    • history

      Public
      Support library for working with Jepsen histories
      Clojure
      •
      Other
      •2•8•0•1•Updated Dec 8, 2023Dec 8, 2023

    • knossos

      Public
      Verifies the linearizability of experimentally accessible histories.
      Clojure
      •31•398•7•0•Updated Oct 19, 2023Oct 19, 2023

    • voltdb

      Public
      VoltDB Jepsen test
      Clojure
      •
      Eclipse Public License 1.0
      •4•10•0•0•Updated Aug 25, 2023Aug 25, 2023

    • mongodb

      Public
      MongoDB Jepsen tests
      Clojure
      •
      Eclipse Public License 2.0
      •19•24•5•1•Updated Jul 24, 2023Jul 24, 2023

    • local-fs

      Public
      Jepsen tests for local filesystems, running on a single node.
      Clojure
      •
      Other
      •4•13•0•1•Updated Aug 15, 2022Aug 15, 2022

    • percona-gr

      Public
      Tests for Percona Server with Group Replication
      Clojure
      •
      Other
      •2•2•0•0•Updated Jul 1, 2022Jul 1, 2022

    • materialize

      Public
      Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.
      Rust
      •
      Other
      •468•0•0•0•Updated Mar 22, 2022Mar 22, 2022

    • redis

      Public
      Jepsen tests for Redis-Raft
      Clojure
      •
      Eclipse Public License 2.0
      •8•14•0•1•Updated Mar 19, 2022Mar 19, 2022

    • radix-dlt

      Public
      Jepsen tests for the Radix distributed ledger system
      Clojure
      •3•4•0•0•Updated Nov 5, 2021Nov 5, 2021

    • scylla

      Public
      Jepsen tests for ScyllaDB
      Clojure
      •6•8•0•0•Updated Jan 21, 2021Jan 21, 2021

    • libfaketime

      Public
      libfaketime modifies the system time for a single application
      C
      •
      GNU General Public License v2.0
      •326•3•0•0•Updated May 10, 2019May 10, 2019

    • comdb2

      Public
      Bloomberg's distributed RDBMS
      C
      •
      Other
      •212•1•0•0•Updated Nov 30, 2018Nov 30, 2018

    • faunadb

      Public
      FaunaDB tests
      0•0•0•0•Updated Nov 16, 2018Nov 16, 2018

    • aerospike-client-java

      Public
      Aerospike Java Client Library
      Java
      •
      Other
      •212•0•0•0•Updated Nov 16, 2017Nov 16, 2017

    • tendermint

      Public
      Jepsen tests for the Tendermint distributed byzantine consensus system
      Clojure
      •
      Eclipse Public License 1.0
      •10•25•1•0•Updated Sep 5, 2017Sep 5, 2017

    • jepsen-training-vpc

      Public
      Python
      •15•1•0•0•Updated Dec 12, 2016Dec 12, 2016