vaibhawvipul / concurrent-sat-solver-rsLinks
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
Sorting:
- A bogus CPU emulator written in Rust.☆52Updated 9 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆69Updated last month
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Another minimal Raft implementation in Rust.☆185Updated last year
- world's worst interpreter☆62Updated last month
- Small KVM-based hypervisor, boots Linux (WIP)☆12Updated last year
- An experimental optimizing compiler for Bril☆69Updated last week
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆25Updated last year
- Compositional Verification of Composite Byzantine Protocols☆12Updated 9 months ago
- Programs and Proofs -- Spring 2025 -- IITM☆16Updated 3 weeks ago
- ☆16Updated 6 months ago
- Can I make an *optimizing* compiler under 1k lines of code?☆58Updated 3 months ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- RotoHash: Hashing for High-Bandwidth Data☆16Updated last month
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆33Updated last year
- Python tools for the K Framework☆13Updated last year
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆54Updated 10 months ago
- ☆49Updated 3 months ago
- Protocols made fun: Igor's blog☆10Updated 3 weeks ago
- A program synthesis framework for verified lifting applications☆52Updated last week
- A local first persistent log☆36Updated last week
- This is a project to learn how to implement instruction dispatch in Rust.☆23Updated 11 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆55Updated last month
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Azure Cosmos TLA+ specifications☆22Updated 4 months ago
- Norpl (NOt a Real Programming Language) is a skeleton language for research purposes☆22Updated 2 years ago
- Here we collect worldwide courses teaching formal methods☆37Updated 5 years ago
- Thorston Ball Interpreter book in rust.☆21Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆68Updated this week