vaibhawvipul / concurrent-sat-solver-rs
a simple concurrent/parallel sat solver implementation in rust
☆18Updated last year
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
- A bogus CPU emulator written in Rust.☆52Updated 8 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆68Updated this week
- An understandable, fast and scalable Raft Consensus implementation☆138Updated 7 months ago
- world's worst interpreter☆60Updated 2 weeks ago
- Compositional Verification of Composite Byzantine Protocols☆12Updated 8 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- RotoHash: Hashing for High-Bandwidth Data☆12Updated 3 weeks ago
- Another minimal Raft implementation in Rust.☆185Updated last year
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Azure Cosmos TLA+ specifications☆22Updated 3 months ago
- OxidSQL (Toy) SQL Database in Rust☆75Updated 9 months ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆54Updated 9 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 6 months ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter☆39Updated last year
- This is a project to learn how to implement instruction dispatch in Rust.☆24Updated 10 months ago
- An experimental optimizing compiler for Bril☆66Updated last week
- ☆47Updated 2 months ago
- A local first persistent log☆35Updated 4 months ago
- ☆81Updated 6 months ago
- Small KVM-based hypervisor, boots Linux (WIP)☆12Updated last year
- Here we collect worldwide courses teaching formal methods☆37Updated 5 years ago
- Rhyme is an Expressive Data-Centric Query Language☆27Updated this week
- B-tree generator for C☆132Updated 2 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆101Updated 2 years ago
- Your SQL database for learning purpose☆78Updated 11 months ago
- Programs and Proofs -- Spring 2025 -- IITM☆16Updated last week
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- List of bugs found in distributed protocols☆197Updated 11 months ago