Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by jepsen-io

A curated list of projects in awesome lists by jepsen-io .

https://github.com/jepsen-io/jepsen

A framework for distributed systems verification, with fault injection

Last synced: 23 Dec 2024

https://github.com/jepsen-io/maelstrom

A workbench for writing toy implementations of distributed systems.

distributed-systems jepsen testing

Last synced: 24 Dec 2024

https://github.com/jepsen-io/elle

Black-box transactional safety checker based on cycle detection

Last synced: 12 Nov 2024

https://github.com/jepsen-io/knossos

Verifies the linearizability of experimentally accessible histories.

Last synced: 21 Dec 2024

https://github.com/jepsen-io/tendermint

Jepsen tests for the Tendermint distributed byzantine consensus system

Last synced: 12 Nov 2024

https://github.com/jepsen-io/mongodb

MongoDB Jepsen tests

Last synced: 12 Nov 2024

https://github.com/jepsen-io/etcd

Jepsen tests for etcd

Last synced: 12 Nov 2024

https://github.com/jepsen-io/local-fs

Jepsen tests for local filesystems, running on a single node.

Last synced: 12 Nov 2024

https://github.com/jepsen-io/redis

Jepsen tests for Redis-Raft

Last synced: 12 Nov 2024

https://github.com/jepsen-io/postgres

Jepsen tests for PostgreSQL

Last synced: 12 Nov 2024

https://github.com/jepsen-io/voltdb

VoltDB Jepsen test

Last synced: 12 Nov 2024

https://github.com/jepsen-io/scylla

Jepsen tests for ScyllaDB

Last synced: 12 Nov 2024

https://github.com/jepsen-io/history

Support library for working with Jepsen histories

Last synced: 12 Nov 2024

https://github.com/jepsen-io/redpanda

Tests for the Redpanda distributed queue

Last synced: 12 Nov 2024

https://github.com/jepsen-io/ravendb

Jepsen tests for RavenDB

Last synced: 12 Nov 2024

https://github.com/jepsen-io/history.sim

Deterministic simulation of Jepsen histories for testing database checkers

Last synced: 12 Nov 2024

https://github.com/jepsen-io/radix-dlt

Jepsen tests for the Radix distributed ledger system

Last synced: 12 Nov 2024

https://github.com/jepsen-io/datomic

Jepsen tests for the Datomic distributed database

Last synced: 12 Nov 2024

https://github.com/jepsen-io/mysql

Tests for MySQL and MariaDB

Last synced: 12 Nov 2024

https://github.com/jepsen-io/percona-gr

Tests for Percona Server with Group Replication

Last synced: 12 Nov 2024

https://github.com/jepsen-io/rds

Library for launching AWS RDS clusters

Last synced: 12 Nov 2024

https://github.com/jepsen-io/faunadb

FaunaDB tests

Last synced: 12 Nov 2024