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
• sunbains / wal-rust
  Database write ahead log in Rust.
  ☆16Updated 8 months ago
• mzinsmeister / OxidSQL
  OxidSQL (Toy) SQL Database in Rust
  ☆79Updated 4 months ago
• tidwall / bgen
  B-tree generator for C
  ☆144Updated last month
• 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
• spacewalkhq / raft-rs
  An understandable, fast and scalable Raft Consensus implementation
  ☆148Updated last year
• verse-lab / obatcher_ds
  ☆20Updated last year
• verse-lab / bythos
  Compositional Verification of Composite Byzantine Protocols
  ☆13Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• vaibhawvipul / minimal-raft
  a minimalistic implementation of RAFT algorithm
  ☆25Updated 2 years ago
• jeremytregunna / wild
  A highly performant cache for very small data
  ☆101Updated 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
• yywe / yoursql
  Your SQL database for learning purpose
  ☆78Updated 2 months ago
• hydromatic / morel-rust
  A functional query language, implemented in Rust
  ☆36Updated 3 weeks ago
• redixhumayun / async-rust
  ☆34Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆80Updated 2 weeks ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆56Updated 6 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆36Updated 2 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• tipo159 / rust-instruction-dispatch
  This is a project to learn how to implement instruction dispatch in Rust.
  ☆25Updated last year
• formal-land / garden
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆26Updated last week
• jandrewrogers / RotoHash
  RotoHash: Hashing for High-Bandwidth Data
  ☆21Updated 7 months ago
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆118Updated last week
• informalsystems / modelator
  Model-based testing tool
  ☆62Updated 8 months ago
• TheDhejavu / gossipod
  Asynchronous Scalable Weakly-consistent Infection-style Process Group Membership Protocol(SWIM) implementation written in Rust.
  ☆26Updated 11 months ago
• SebastianElvis / distributed-computing-lecture-notes
  Lecture notes on Distributed Computing that are publicly accessible.
  ☆84Updated 4 years ago
• eatonphil / btree-rs
  ☆21Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆49Updated this week
• trishume / twitterperf
  Prototyping the performance of various components of a theoretical faster Twitter
  ☆66Updated 2 years ago