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.
  ☆54Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆82Updated last month
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆79Updated 5 months ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆58Updated 7 months ago
• eatonphil / raft-rs
  Another minimal Raft implementation in Rust.
  ☆186Updated last year
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆79Updated last week
• 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…
  ☆61Updated 3 weeks ago
• yywe / yoursql
  Your SQL database for learning purpose
  ☆78Updated 3 months ago
• sunbains / wal-rust
  Database write ahead log in Rust.
  ☆16Updated 9 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆58Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• TheDhejavu / gossipod
  Asynchronous Scalable Weakly-consistent Infection-style Process Group Membership Protocol(SWIM) implementation written in Rust.
  ☆26Updated last year
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated 2 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆205Updated last year
• redixhumayun / async-rust
  ☆34Updated last year
• tidwall / bgen
  B-tree generator for C
  ☆145Updated 2 months ago
• komora-io / pagetable
  wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata
  ☆41Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆66Updated 8 months ago
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆27Updated last week
• jandrewrogers / RotoHash
  RotoHash: Hashing for High-Bandwidth Data
  ☆21Updated 9 months ago
• johannst / llvm-kaleidoscope-rs
  LLVM Kaleidoscope Tutorial in Rust
  ☆44Updated 8 months ago
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆84Updated 4 years ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆33Updated last month
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆36Updated last month
• spacewalkhq / raft-rs
  An understandable, fast and scalable Raft Consensus implementation
  ☆148Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆106Updated 3 years ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated last year
• m1guelpf / silhouette
  A simple dependency injection library for Rust
  ☆24Updated 2 years ago
• tipo159 / rust-instruction-dispatch
  This is a project to learn how to implement instruction dispatch in Rust.
  ☆25Updated last year