snapshot-isolation-spec
A formal specification of snapshot isolation. (by will62794)
azure-cosmos-tla
Azure Cosmos TLA+ specifications (by Azure)
| snapshot-isolation-spec | azure-cosmos-tla | |
|---|---|---|
| 1 | 2 | |
| 18 | 260 | |
| - | 1.2% | |
| 10.0 | 0.0 | |
| almost 5 years ago | 5 months ago | |
| TLA | TLA | |
| - | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
snapshot-isolation-spec
Posts with mentions or reviews of snapshot-isolation-spec.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-28.
-
HELP! I can't figure out a formal method for my final project!
Another database example is snapshot isolation, which is discussed in the book Designing Data Intensive Applications and has a TLA spec: https://github.com/will62794/snapshot-isolation-spec/blob/master/SnapshotIsolation.tla Explanation of snapshot isolation: https://medium.com/swlh/designing-data-intensive-applications-strong-isolation-using-serializability-8f4994c0834
azure-cosmos-tla
Posts with mentions or reviews of azure-cosmos-tla.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-28.
-
HELP! I can't figure out a formal method for my final project!
If you want to do something about databases, there are some CosmosDB specifications in TLA+ https://github.com/Azure/azure-cosmos-tla
-
Why I don't use TLA+ for my current work
https://github.com/Azure/azure-cosmos-tla is an example where TLA+ has been used to document the behavior of a system that you would hypothetically use.
What are some alternatives?
When comparing snapshot-isolation-spec and azure-cosmos-tla you can also consider the following projects:
TLAPlusDocker
pluscal - Tests with PlusCal / TLA+