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.
  ☆53Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆79Updated this week
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆185Updated last year
• yywe / yoursql
  Your SQL database for learning purpose
  ☆78Updated last month
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆76Updated this week
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆78Updated 3 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆57Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆31Updated last week
• jeremytregunna / wild
  A highly performant cache for very small data
  ☆96Updated 2 months ago
• tipo159 / rust-instruction-dispatch
  This is a project to learn how to implement instruction dispatch in Rust.
  ☆25Updated last year
• m1guelpf / silhouette
  A simple dependency injection library for Rust
  ☆24Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated last month
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆84Updated 4 years ago
• verse-lab / obatcher_ds
  ☆20Updated last year
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆202Updated last year
• spacewalkhq / raft-rs
  An understandable, fast and scalable Raft Consensus implementation
  ☆147Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 6 months ago
• langston-barrett / tree-crasher
  Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
  ☆78Updated last month
• formal-land / garden
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆23Updated 2 weeks ago
• informalsystems / modelator
  Model-based testing tool
  ☆61Updated 7 months ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆58Updated 2 months ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆57Updated 5 months ago
• TheDhejavu / gossipod
  Asynchronous Scalable Weakly-consistent Infection-style Process Group Membership Protocol(SWIM) implementation written in Rust.
  ☆25Updated 9 months ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆41Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆13Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated last week
• digorithm / LC-3-Rust
  An LC-3 virtual machine written in Rust for learning purposes.
  ☆42Updated 2 years ago