A test framework for linearizability check with Go

• UpdatedJul 10, 2019
• Go

A tutorial about how to apply property-based testing to stateful systems.

• UpdatedFeb 10, 2023
• Haskell

Reading the linearizability paper with TLA+

• UpdatedApr 24, 2022
• TLA

Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

• UpdatedDec 4, 2018
• Clojure

A linearizability checker for concurrent data structures

• UpdatedAug 3, 2023
• Rust

Framework for distributed system's verification, with fault injection.

• UpdatedNov 25, 2024
• Lua

Jepsen tests for Tarantool

• UpdatedJun 15, 2023
• Clojure

Test monadic programs using state machine based models

• UpdatedMay 3, 2018
• Haskell

• UpdatedJan 25, 2025
• Haskell

A collection of Rust crates for distributed computing.

• UpdatedOct 14, 2024
• Rust

Verification tool for lock-free data structures with safe memory reclamation.

• UpdatedJun 18, 2021
• C++

This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

• UpdatedJan 1, 2024
• Go

Amazon Dynamo-style distributed key-value storage with partitioning, replication, and failure handling

• UpdatedAug 7, 2020
• Java

An experimental linearizability checker for lock-free data structures using safe memory reclamation.

• UpdatedSep 5, 2021
• HTML

Pass 4 labs more than 1, 000 times without failure.

• UpdatedDec 10, 2019
• Go

An implementation of ISIS total order multicast protocol

• UpdatedMar 23, 2023
• Go

A tutorial about how to apply property-based testing to stateful systems.

• UpdatedDec 27, 2022
• Haskell

Parallel property-based testing with a deterministic thread scheduler

• UpdatedAug 7, 2024
• Haskell

Design and Implementation of Distributed Applications (DAD) Course Project (Grade: 18.5/20) - IST - 2020/2021

• UpdatedJan 25, 2021
• C#

Jepsen tests for Restate

• UpdatedJan 27, 2025
• Clojure