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:
- A toolset for describing and simulating StateChart-like state diagrams.☆27Dec 30, 2025Updated 3 months ago
- prediction market indexer with semantic search☆36Jan 27, 2026Updated 2 months ago
- ☆15Aug 29, 2024Updated last year
- OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API refere…☆30Jan 11, 2026Updated 3 months ago
- ☆10Sep 6, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Jan 31, 2024Updated 2 years ago
- Facilitating efficient transaction tracing for Tornado Cash and Railgun☆16Mar 26, 2024Updated 2 years ago
- 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
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Talk with EVM Bytecode using webLLM☆15Jan 26, 2025Updated last year
- This is a solidity repository that I use to learn and introduce the proxy pattern.☆13Aug 17, 2022Updated 3 years ago
- Rust communication libraries for Ledger Hardware Wallet application development☆15Jan 15, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- AIM - The open-source NHI platform for AI agents. Cryptographic identity, governance, and access control.☆41Updated this week
- ☆12Dec 14, 2019Updated 6 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated 2 years ago
- Incremental View Maintenance support for DuckDB☆16Oct 24, 2023Updated 2 years ago
- ☆12Jun 30, 2025Updated 9 months ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- Ethereum (and Ethereum like) indexer using P2P message to fetch blocks and transactions☆13Apr 8, 2026Updated last week
- ☆13Dec 3, 2022Updated 3 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆12Jan 21, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Mar 24, 2025Updated last year
- Cloudformation template for deploying Presto on AWS☆13Jul 20, 2020Updated 5 years ago
- An unofficial list of Milady Derivatives maintained by the community.☆18Feb 23, 2026Updated last month
- A lezer-based PromQL grammar☆12Jul 11, 2022Updated 3 years ago
- ☆17Sep 9, 2024Updated last year
- A Rust library to interact with ERC-20 contracts using Alloy.☆15Feb 21, 2026Updated last month
- UniswapV4 PoC hooks☆14Feb 26, 2024Updated 2 years ago
- Token Balance Storage Slot Searcher☆15May 9, 2024Updated last year
- CSGO cheat made in Java using JavaFX as the overlay and JNA for memory manipulation☆11Aug 23, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A scalable anonymous blocklisting scheme☆12Oct 6, 2023Updated 2 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- A blueprint adapting VertX to distributed game server☆23Mar 22, 2026Updated 3 weeks ago
- High quality implementations of imitation and inverse reinforcement learning algorithms☆24Aug 19, 2025Updated 8 months ago
- Async Design Patterns Workshop☆20Sep 5, 2025Updated 7 months ago
- KalDB is a cloud-native search and analytics engine for log, trace, and audit data☆21Updated this week
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago