jepsen-io / elleLinks
Black-box transactional safety checker based on cycle detection
β667Updated last month
Alternatives and similar repositories for elle
Users that are interested in elle are comparing it to the libraries listed below
Sorting:
- A fast linearizability checker written in Go πβ1,031Updated 2 weeks ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!β493Updated 7 months ago
- A model checker for implementing distributed systems.β1,664Updated last month
- TLA+ specification for the Raft consensus algorithmβ494Updated 4 months ago
- Verifies the linearizability of experimentally accessible histories.β403Updated 3 months ago
- A static web application to explore and animate a TLA+ state graph.β198Updated last year
- Differential dataflow for mere mortalsβ522Updated 3 years ago
- β555Updated this week
- TLA+ language support for Visual Studio Codeβ382Updated this week
- An implementation of differential dataflow using timely dataflow on Rust.β2,743Updated this week
- Streaming and Incremental Computation Frameworkβ239Updated 2 years ago
- β620Updated 3 years ago
- A low-latency, cloud-native KVSβ703Updated 4 years ago
- List of FoundationDB resourcesβ211Updated 3 months ago
- Awesome list of distributed transactionsβ730Updated 3 years ago
- An implementation of differential dataflow using timely dataflow on Rust.β171Updated last week
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance ofβ¦β322Updated 3 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ communityβ287Updated last month
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+β1,055Updated 8 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their outputβ¦β1,436Updated last year
- Paxos protocol frameworkβ557Updated last year
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocolβ331Updated 6 years ago
- A cluster consistency platformβ651Updated last week
- A TLA+ guideβ278Updated 2 years ago
- A curated list of TLA+ resources.β146Updated last year
- Waltz is a quorum-based distributed write-ahead log for replicating transactionsβ424Updated 2 years ago
- Automated testing to find logic and performance bugs in database systemsβ1,608Updated this week
- APALACHE: symbolic model checker for TLA+ and Quintβ468Updated last month
- A reactive query engine built on differential dataflow.β320Updated 5 years ago
- A record-oriented store built on FoundationDBβ621Updated this week