atomixatomix-jepsen

Name: atomix/atomix-jepsen
Author: atomix

View on GitHub

0 stars0 forks0 views

Atomix Jepsen

Features

Formal Methods and Simulation - Jepsen test suite for the Atomix distributed framework.

Open-source alternatives to Atomix Jepsen

Similar open-source projects, ranked by how many features they share with Atomix Jepsen.

atomix/copycat
atomix/copycat
0View on GitHub
View on GitHub0
madsim-rs/madsim
madsim-rs/madsim
0View on GitHub
View on GitHub0
pingcap/tla-plus
pingcap/tla-plus
0View on GitHub
View on GitHub0
siddontang/chaos
siddontang/chaos
0View on GitHub
View on GitHub0

See all 5 alternatives to Atomix Jepsen

Frequently asked questions

What are the main features of atomix/atomix-jepsen?

The main features of atomix/atomix-jepsen are: Formal Methods and Simulation.

What are some open-source alternatives to atomix/atomix-jepsen?

Open-source alternatives to atomix/atomix-jepsen include: atomix/copycat. madsim-rs/madsim. pingcap/tla-plus. siddontang/chaos. ydb-platform/jepsen.ydb.

Star history

How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.