Skip to content

@jepsen-io Jepsen

Change the repository type filter

All

    Repositories list

    28 repositories

    • jepsen

      Public
      A framework for distributed systems verification, with fault injection
      Clojure
      •720•6.9k•59•1•Updated Dec 11, 2024Dec 11, 2024

    • maelstrom

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

    • knossos

      Public
      Verifies the linearizability of experimentally accessible histories.
      Clojure
      •32•398•6•0•Updated Dec 4, 2024Dec 4, 2024

    • redpanda

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

    • bufstream

      Public
      Jepsen tests for the Bufstream distributed log service
      Clojure
      •
      Other
      •0•1•0•0•Updated Oct 29, 2024Oct 29, 2024

    • history

      Public
      Support library for working with Jepsen histories
      Clojure
      •
      Other
      •2•8•0•1•Updated Oct 18, 2024Oct 18, 2024

    • elle

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

    • etcd

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

    • mysql

      Public
      Tests for MySQL and MariaDB
      Clojure
      •
      Other
      •4•6•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•11•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

    • 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
      •467•0•0•0•Updated Mar 22, 2022Mar 22, 2022

    • redis

      Public
      Jepsen tests for Redis-Raft
      Clojure
      •
      Eclipse Public License 2.0
      •9•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
      •331•3•0•0•Updated May 10, 2019May 10, 2019

    • comdb2

      Public
      Bloomberg's distributed RDBMS
      C
      •
      Other
      •215•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
      •215•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