Alternatives and similar repositories for concurrent-sat-solver-rs

Users that are interested in concurrent-sat-solver-rs are comparing it to the libraries listed below

• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 11 months ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆199Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last week
• konnov / protocols-made-fun
  Protocols made fun: Igor's blog
  ☆10Updated last month
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 6 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆131Updated 2 weeks ago
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆77Updated 11 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/…
  ☆25Updated last year
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆147Updated last year
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• runtimeverification / mir-semantics
  ☆24Updated this week
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• spacewalkhq / raft-rs
  An understandable, fast and scalable Raft Consensus implementation
  ☆143Updated 10 months ago
• yywe / yoursql
  Your SQL database for learning purpose
  ☆78Updated last year
• informalsystems / modelator
  Model-based testing tool
  ☆60Updated 4 months ago
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆184Updated last year
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆12Updated 10 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated last year
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆69Updated 5 months ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated last month
• mfleming / sieve
  A Python implementation of the SIEVE eviction algorithm
  ☆19Updated last year
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆54Updated last month
• sitano / maelstrom-rust-node
  Rust node framework for building distributed systems for learning for https://github.com/jepsen-io/maelstrom / fly.io
  ☆26Updated 2 years ago
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆80Updated 3 years ago
• cksystemsgroup / unicorn
  Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
  ☆35Updated last week
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆34Updated 2 weeks ago
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆50Updated last year
• argumentcomputer / ix
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆27Updated this week