michael-emmi / violat

Related projects ⓘ

Alternatives and complementary repositories for violat

• lemmy / ewd998
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Updated last year
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 3 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• will62794 / snapshot-isolation-spec
  A formal specification of snapshot isolation.
  ☆18Updated 5 months ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 7 years ago
• richardstartin / perfasm-visualiser
  ☆14Updated 6 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 7 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• dranov / raft-tla
  ☆19Updated 3 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• belliottsmith / accord
  ☆26Updated 2 years ago
• shipilev / article-method-dispatch
  Code for Method Dispatch article
  ☆13Updated 9 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆87Updated 8 years ago
• apache / cassandra-harry
  Harry for Apache Cassandra®
  ☆54Updated 2 months ago
• shamsimam / savina
  Savina is an Actor Benchmark Suite.
  ☆37Updated 3 years ago
• avsm / shonan-143
  Shonan #143: Programming Language Support for Data-intensive Applications
  ☆15Updated 5 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆74Updated 8 months ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• TiarkRompf / lms-clean
  ☆54Updated last year
• richardstartin / splitmap
  Parallel boolean circuit evaluation
  ☆19Updated 6 years ago
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 11 years ago
• jhalliday / mashona
  Persistent Memory library for pure Java
  ☆25Updated 11 months ago
• fzhinkin / xctraceprof
  xctrace (a.k.a. Instruments) based profiler for JMH
  ☆28Updated 7 months ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated 8 months ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆101Updated 8 months ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆86Updated 4 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated 4 years ago