atomixcopycat

Name: atomix/copycat
Author: atomix

View on GitHub

0 stars0 forks0 views

Copycat

Features

Formal Methods and Simulation - Framework for building fault-tolerant distributed state machines.

Open-source alternatives to Copycat

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

atomix/atomix-jepsen
atomix/atomix-jepsen
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 Copycat

Frequently asked questions

What are the main features of atomix/copycat?

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

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

Open-source alternatives to atomix/copycat include: atomix/atomix-jepsen. 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.