a simple concurrent/parallel sat solver implementation in rust
☆20Jan 24, 2024Updated 2 years ago
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- prediction market indexer with semantic search☆37Jan 27, 2026Updated 4 months ago
- ☆15Aug 29, 2024Updated last year
- ☆11Sep 6, 2023Updated 2 years ago
- Trying to solve the problems on leetcode by rust.☆37Oct 3, 2024Updated last year
- Facilitating efficient transaction tracing for Tornado Cash and Railgun☆16Mar 26, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- raw dogging univ4 swaps without the router☆13Mar 18, 2025Updated last year
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 4 years ago
- Deploy UniswapV3 Template☆10Nov 5, 2021Updated 4 years ago
- Template for the Async workshop at EuroRust, with vendored dependencies☆11Oct 8, 2024Updated last year
- ☆11Jun 4, 2023Updated 2 years ago
- Rust communication libraries for Ledger Hardware Wallet application development☆15Jan 15, 2026Updated 4 months ago
- ☆12Dec 14, 2019Updated 6 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated 2 years ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A simple template repository containing the necessary files for the flash loan workshop.☆10Nov 13, 2022Updated 3 years ago
- ☆12Jun 30, 2025Updated 10 months ago
- Ethereum (and Ethereum like) indexer using P2P message to fetch blocks and transactions☆13Apr 28, 2026Updated last month
- ☆11Mar 31, 2024Updated 2 years ago
- OrqueIO main source code repository☆37Updated this week
- ☆13Dec 3, 2022Updated 3 years ago
- ☆40May 1, 2016Updated 10 years ago
- Persistent binary merkle tree☆26Updated this week
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Cloudformation template for deploying Presto on AWS☆13Jul 20, 2020Updated 5 years ago
- ☆13Mar 24, 2025Updated last year
- The first Task-Aware MCP server and automated VRAM calculator for LLM fine-tuning. Instantly snipe the cheapest, fastest GPUs across 10+ …☆91May 8, 2026Updated 3 weeks ago
- A lezer-based PromQL grammar☆12Jul 11, 2022Updated 3 years ago
- ☆12Aug 26, 2024Updated last year
- ☆17Sep 9, 2024Updated last year
- UniswapV4 PoC hooks☆14Feb 26, 2024Updated 2 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- A scalable anonymous blocklisting scheme☆13Oct 6, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Token Balance Storage Slot Searcher☆15May 9, 2024Updated 2 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Rust implementation of glass: ordered set data structure for client-side order books☆26Feb 26, 2026Updated 3 months ago
- force immediate garbage collection of an object☆36Jan 29, 2011Updated 15 years ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- 🍨 A tasteful way to organize your Nix code☆34Nov 24, 2025Updated 6 months ago
- A statically-typed lisp for the BEAM☆12Aug 28, 2021Updated 4 years ago