Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Linearizability Open Source Projects

Open source projects categorized as Linearizability
Categories > Linearizability
Chaos ⭐ 201
A test framework for linearizability check with Go
total releases 1most recent commit 5 years ago
Property Based Testing Stateful Systems Tutorial ⭐ 48
A tutorial about how to apply property-based testing to stateful systems.
most recent commit a year ago
Tla Linearizability ⭐ 27
Reading the linearizability paper with TLA+
most recent commit 2 years ago
Fast Jepsen ⭐ 18
Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
most recent commit 5 years ago
Molly ⭐ 9
Framework for distributed system's verification, with fault injection.
most recent commit a year ago
Lincheck ⭐ 5
A linearizability checker for concurrent data structures
most recent commit 9 months ago
Jepsen.tarantool ⭐ 5
Jepsen tests for Tarantool
most recent commit 2 years ago
Quickcheck State Machine Distributed ⭐ 5
Test monadic programs using state machine based models
total releases 1most recent commit 6 years ago
The 2 Latest Releases In Linearizability Open Source Projects
Chaos ⭐ 201
A test framework for linearizability check with Go
total releases 1latest release July 10, 2019most recent commit 5 years ago
Quickcheck State Machine Distributed ⭐ 5
Test monadic programs using state machine based models
total releases 1latest release May 03, 2018most recent commit 6 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.