GitHub repository: rystsov/fast-jepsen
Primary language: Clojure
Description: Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time