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 5 months ago
- ☆15Aug 29, 2024Updated last year
- Facilitating efficient transaction tracing for Tornado Cash and Railgun☆16Mar 26, 2024Updated 2 years ago
- raw dogging univ4 swaps without the router☆13Mar 18, 2025Updated last year
- Solidity grammar for tree sitter☆12Mar 12, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Mar 8, 2023Updated 3 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Deploy UniswapV3 Template☆10Nov 5, 2021Updated 4 years ago
- Talk with EVM Bytecode using webLLM☆15Jan 26, 2025Updated last year
- ☆11Jun 4, 2023Updated 3 years ago
- Rust communication libraries for Ledger Hardware Wallet application development☆15Jan 15, 2026Updated 5 months ago
- This is a solidity repository that I use to learn and introduce the proxy pattern.☆13Aug 17, 2022Updated 3 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated 2 years ago
- OrqueIO main source code repository☆39Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆11Mar 31, 2024Updated 2 years ago
- A simple template repository containing the necessary files for the flash loan workshop.☆10Nov 13, 2022Updated 3 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- Persistent binary merkle tree☆27Jun 10, 2026Updated 3 weeks ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆13Jan 21, 2026Updated 5 months ago
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Apr 29, 2026Updated 2 months ago
- UniswapV4 PoC hooks☆14Feb 26, 2024Updated 2 years ago
- ☆14Oct 27, 2023Updated 2 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rust implementation of glass: ordered set data structure for client-side order books☆27Feb 26, 2026Updated 4 months ago
- Async Design Patterns Workshop☆20Sep 5, 2025Updated 10 months ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- A simple DEX backrunner arbitrage bot☆10Dec 31, 2023Updated 2 years ago
- 🍨 A tasteful way to organize your Nix code☆34Nov 24, 2025Updated 7 months ago
- High performance lock free data structures for Rust☆17Oct 16, 2024Updated last year
- Syntax files for Yul☆18Jun 27, 2021Updated 5 years ago
- Rust and Typescript examples of using Helius webhooks with Solana.☆13Aug 26, 2023Updated 2 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The first Task-Aware MCP server and automated VRAM calculator for LLM fine-tuning. Instantly snipe the cheapest, fastest GPUs across 10+ …☆102Jun 24, 2026Updated 2 weeks ago
- Research on fee markets and resource allocation in blockchains.☆10Mar 14, 2023Updated 3 years ago
- On-chain program that manages user quotes on Phoenix☆18Feb 4, 2026Updated 5 months ago
- Repo Manifests for the Yocto Project Build System for reproducible TEE builds☆11Nov 26, 2025Updated 7 months ago
- Assembly implementation of EIP-4788 system contract.☆24Aug 20, 2024Updated last year
- Personal website. Built with hugo☆13Feb 8, 2025Updated last year
- Pure Elixir native implementation of git☆11Jul 16, 2019Updated 6 years ago