Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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/local-fs
Jepsen tests for local filesystems, running on a single node.
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/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/percona-gr
Tests for Percona Server with Group Replication
Last synced: 12 Nov 2024