Alternatives and similar repositories for molly

Users that are interested in molly are comparing it to the libraries listed below

• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 4 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 5 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• drblez / dbc
  Design-by-contract for Go1
  ☆17Updated 6 years ago
• tlaplus / rfcs
  RFCs for changes to the TLA+ specification language
  ☆11Updated 7 months ago
• jkff / greg
  A very fast lightweight distributed logger with a high-precision global time axis
  ☆38Updated 10 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated last year
• dgryski / modelchecking
  model checking samples
  ☆17Updated 4 years ago
• vadv / zalua
  Сборщик метрик
  ☆16Updated 6 years ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆42Updated 6 years ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• tarantool / membership
  Membership library for Tarantool based on a gossip protocol
  ☆12Updated 2 weeks ago
• tlaplus / foundation
  TLA+ Foundation
  ☆31Updated 2 weeks ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆47Updated 11 months ago
• lorin / alb-alloy
  Modeling AWS application load balancers using Alloy
  ☆13Updated 3 years ago
• robur-coop / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Updated 2 weeks ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆41Updated 2 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆136Updated 4 months ago
• gravitational / rbac-linter
  ☆32Updated last year
• mailru / ipro-cli
  iproto cli tools
  ☆11Updated 7 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆31Updated 5 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆120Updated 3 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆100Updated last week
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 3 years ago
• WillSewell / gc-latency-experiment
  Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-se…
  ☆54Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• lexi-lambda / scripty
  Distributable shell scripts with dependencies
  ☆11Updated 8 years ago
• kni / sml-ev
  kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
  ☆24Updated last year